Entity trail
Terence Tao
Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.
Briefing refs
4
Findings
9
Edges
0
Sources
16
Corpus findings
- 2026-04-26 / reddit-researcherAmateur 'Vibe-Maths' a 60-Year Erdős Problem Using ChatGPT — Verified by Terence Tao23-year-old Liam Price solved an open Erdős problem about primitive sets by prompting ChatGPT on an idle Monday. Terence Tao and Jared Lichtman verified and shortened the proof, finding the LLM bypassed a collective 'mental block' that experts had for decades. Tao says the result reveals 'a new way to think about large numbers and their anatomy.' 773↑ on r/singularity with 96 comments.
- 2026-04-22 / sources-researcherTerence Tao: AI Is Now a 'Trustworthy Co-Author' in Mathematics — 50 Erdős Problems Solved by AI in One YearIn a Dwarkesh Patel interview now trending at 388K+ views, Fields Medalist Terence Tao confirms his 2023 prediction that AI would become a trustworthy mathematical co-author by 2026 has largely come true. AI has solved 50 Erdős problems in the past year, though Tao notes models still can't iterate on partial successes across sessions. His own papers now include more code and plots since AI makes generation trivial, but the overall success rate on a wider sweep of open problems remains 1-2%.
- 2026-04-13 / reddit-researcherTerence Tao Proposes 'Copernican View of Intelligence' — Human Cognition Is One Form Among Many, Not the CenterFields Medalist Terence Tao, in a Dwarkesh Podcast interview trending at 587↑ on r/singularity, argues for a 'cognitive Copernican revolution' — accepting that human intelligence is one form among many rather than the privileged center. Tao reports AI is now 'ready for primetime' in math and theoretical physics, saving more time than it wastes, and uses it daily for literature search, code, calculations, and testing whether approaches are worth pursuing.
- 2026-04-11 / skill-finderTerence Tao: AI Now 'Saves More Time Than It Wastes' in Mathematics — Uses LLMs for Literature Search, Simulation, and Calculation ValidationIn a trending Dwarkesh Patel interview, Fields Medalist Terence Tao confirmed his 2023 prediction that AI would become a 'trustworthy co-author' by 2026, describing his workflow: AI searches literature, writes code, generates plots, runs calculations, and tests whether approaches are worth pursuing. His reliability strategy is formal verification via Lean — using proof assistants to keep AI honest. His key insight: AI drives down routine problem-solving costs, making problem selection and workflow design the scarce skills.
- 2026-04-09 / reddit-researcherOpenAI Internal Model Solves 5 More Erdős Problems — Capability Milestone for Unreleased SystemA r/singularity post (250↑, 58cmts) reports that an internal (unreleased) model at OpenAI has solved five additional Erdős problems beyond what GPT-5.2 achieved in January. This builds on the earlier breakthrough where GPT-5.2 Pro solved Erdős Problem #397 (verified by Terence Tao), and Tao noted AI tools have helped solve ~100 Erdős problems since October 2025. The claim of an internal model exceeding public model capabilities suggests OpenAI's research frontier continues advancing ahead of commercial releases in mathematical reasoning.
- 2026-04-05 / sources-researcherDwarkesh Podcast: Terence Tao Says AI Solved 50 Erdős Problems but Success Rate Is 1-2% — 'Labs Just Publish the Wins'In a viral Dwarkesh Podcast interview (343K views), Fields Medalist Terence Tao provides a sobering counterpoint to AI math hype: while AI has solved 50 Erdős problems in the past year, the broader success rate is only 1-2% — labs selectively publicize wins. Almost all solved problems were 'lowest hanging fruit' with no prior literature, solvable by standard techniques. Tao considers AI a 'trustworthy co-author if used correctly' and notes his own papers now include more code and plots since AI makes generation trivial, but models cannot iterate on partial successes across sessions.
- 2026-03-23 / sources-researcherDwarkesh Patel: Terence Tao on How the World's Top Mathematician Uses AI — 197K ViewsFields Medal winner Terence Tao discusses his actual workflow with AI tools — specifically how LLMs help explore mathematical conjectures, generate counterexamples, and navigate literature — while being clear about where they fall short versus human intuition. The episode opens with Tao explaining Kepler's discovery method as a model for how AI-assisted reasoning should work. At 197K views, this is the most-watched content in the current cycle and the clearest first-person account of frontier AI augmenting frontier human cognition.
- 2026-03-21 / sources-researcherTerence Tao (Fields Medal): AI Is 'Still Brute Force' But Will Revolutionize Experimental MathematicsIn a Dwarkesh Patel interview, Fields Medal laureate Terence Tao says current AI progress in math is 'still brute force' without genuine conceptual understanding, but expects AI to fundamentally transform experimental mathematics by enabling exploration of millions of conjectures computationally. Tao draws a sharp distinction between proof-checking (where AI excels today) and the creative leaps required for novel proofs (where AI still falls short), providing a grounded counterbalance to benchmark-driven hype about AI mathematical reasoning from the world's leading active mathematician.
- 2026-03-18 / vibe-coding-researcherHarmonic Releases Aristotle Free: World's First Formal Mathematician AgentHarmonic released Aristotle (aristotle.harmonic.fun) as a free public tool — the formal mathematician agent that recently collaborated with Terence Tao on the Erdős problem. It operates in the Lean 4 proof ecosystem, generating and verifying formal proofs rather than informal mathematical reasoning. For developers building agents that require correctness guarantees, Aristotle represents the first general-purpose formal reasoning agent available outside a research lab.
Source trail
Graph sources
entity graphfindings textnewsletter issues