Misread as Anti-AI, Terence Tao Sparks Debate Over the Value of Mathematics

Starting September 12, claims that "Terence Tao and other mathematicians are unhappy that AI is solving math problems" circulated on X and sparked debate, but multiple posters pointed out this was a misreading of Tao's views. The backdrop: 25 Fields Medalists had jointly expressed concern about how AI companies are pursuing mathematical discovery, while Tao himself is one of AI's most enthusiastic advocates in mathematics. The clearest conclusion: the dispute is not about whether to support AI, but about mathematics' anchor of value—answers, the glory of first discovery, or new concepts born along the way; Sriram Krishnan publicly stated he disagreed with Tao, reframing the issue as a misalignment within the mathematics community itself.

Confirmed

• Beff Jezos and user sporadica spread the original claim that mathematicians who spent their lives solving problems felt conflicted seeing AI do the same; @TinfoilTricorn, @jamestagg, @soumitrashukla9 and others amplified it, sparking a debate over whether math is merely "sorting intelligence"; captgouda24 commented that such emotional reactions do not rebut the underlying claim.
• @burnytech and @RexDouglass relayed @markbao's clarification: Tao is among the most AI-embracing mathematicians, and the "unhappiness" framing is a misread. Per @markbao, Tao argued AI companies have only done half the job—real discovery involves inventing new concepts far beyond the original goal along the way, and the work is complete only when "mathematicians have nothing left to do."
• @akbirthko relayed Tao's core argument: "solving theorem X" is not mathematics' only goal; historically, hard problems' value lies in forcing the creation of new concepts, methods, abstractions, and research directions; the poster, self-described as extremely optimistic about AGI, argued AI has no reason it cannot eventually do theory, conjecture, taste, and synthesis.
• @prasannasays summarized the flashpoint: to argue AI labs are harming mathematics, Tao had to claim math's true purpose is not problem-solving but "conceptual understanding and insight"—a concession that itself ignited the debate.
• @sebkrier relayed Sriram Krishnan publicly saying "I disagree with Terence Tao," reframing the question: the misalignment may lie not between AI and humans but within the mathematics community itself—who are Millennium Prize problems actually for?
• @BlancheMinerva relayed an interpretation that Millennium Prize problems are essentially metrics of mathematical progress, and AI labs are optimizing the metrics themselves (Goodharting), degrading their value as a progress yardstick.
• @anshulkundaje relayed gil2almeida's rebuttal: this is not "math vs. humanities"; Millennium problems were chosen to identify deep questions that advance mathematics, not seven answers humanity urgently needs; using a cancer analogy, they distinguished "making doctors 10x faster" from "discovering a cure"—knowledge itself is the foundation of trust.
• @adamdorr responded directly, arguing that however elegantly Tao framed AI eroding the "glory of first discovery," it ultimately reduces to ego, hard not to read as sour grapes; he conceded unsolved problems do inspire exploration around them.
• @paulcal commented on Andrew Curran's citation of Tao's statement, saying Tao may have legitimate reasons to worry the current AI trajectory harms mathematical "progress," but has never articulated the argument clearly—it sounds more like fear and self-protection. @iandanforth added a possible reason: against the backdrop of the joint statement by 25 top mathematicians, Tao cannot easily state his true concerns.
• @hugobowne added context and responded to critics: 25 Fields Medalists jointly voiced concern about AI companies' approach to mathematical discovery—specifically racing to "checklist-style" verify famous conjectures without advancing mathematical understanding; another relay added these AI solutions resemble hiring 100 math students to brute-force a counterexample over a year—marketing value but no insight. @richalq also rebutted that Tao is one of the most famous advocates of AI for mathematics. Such concerns are often simplified into "so you don't want to cure cancer?"-style mockery. He stressed Tao supports AI-assisted mathematical research; the issue is that problem-solving yields more than answers.
• @shreya offered another perspective: the core purpose of math and science should be advancing humanity's collective understanding of the world, not mere output or competition.

Unconfirmed

• The exact original wording of Tao's "pessimistic statement"—only secondhand accounts appear in the posts, with no primary source.

Why it matters

The dispute reflects mathematics' re-examination of its own anchor of value as AI capabilities rise: problem-solving, glory of first discovery, or conjecture-making and concept creation. Tao's side emphasizes process and new concepts; optimists like @akbirthko see no reason AI cannot eventually do theory and conjecture; critics like @adamdorr and @paulcal push back on "ego" and "unclear argumentation" grounds, while @iandanforth suggests political constraints from the joint statement; Sriram Krishnan and gil2almeida redirect the critique toward the mathematics community's own institutional design and the founding intent of prize problems. The "Goodharting" reading adds that when AI optimizes directly for prize problems, those problems' value as a progress measure may itself collapse. The Fields Medalists' joint concern was simplified online into emotional opposition, but the dispute's essence is the answer to "what is mathematics."

2026-09-12 ~ 2026-09-13 · 18 related posts

Full story(20 episodes)→

• Episode 1: Rumors claim GPT-6 cracks Navier-Stokes, credibility doubtful(2026-09-05, 2 posts)
• Episode 2: OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(2026-09-09, 13 posts)
• Episode 3: Existence Proof Effect: Rumor of Solvability Drove OpenAI's Navier-Stokes Attempt(2026-09-09, 3 posts)
• Episode 4: Mathematicians Accuse OpenAI of Racing to Claim Their Unfinished Proof(2026-09-09, 6 posts)
• Episode 5: Anthropic Faces Ethics Backlash Over Math Proof and Scooped Collaboration(2026-09-09, 2 posts)
• Episode 6: Rumors swirl that OpenAI nears Hodge and BSD conjectures as Millennium Prize problems fall(2026-09-10, 27 posts)
• Episode 7: OpenAI Claims Navier-Stokes Solved, Progress on a Second Millennium Problem(2026-09-10, 21 posts)
• Episode 8: Mathematician accuses OpenAI of training Astra on his unpublished work; OpenAI denies(2026-09-10, 9 posts)
• Episode 9: Navier–Stokes Authorship Dispute Fuels Debate Over AI Labs' Scooping Culture(2026-09-10, 6 posts)
• Episode 10: OpenAI denies Codex prompts influenced training as "stolen chat data" claims unravel(2026-09-11, 8 posts)
• Episode 11: OpenAI's Millennium Prize Claim Mired in Authorship and Scooping Dispute(2026-09-11, 10 posts)
• Episode 12: AI Circles Speculate Millennium Prize Problems May Fall to AI(2026-09-11, 2 posts)
• Episode 13: Math Community Splits Over AI's Role After OpenAI's Millennium Prize Claim(2026-09-11, 8 posts)
• Episode 14: Rumor: OpenAI Aims Internal Model at Riemann Hypothesis and P vs NP(2026-09-11, 7 posts)
• Episode 15: OpenAI's Navier-Stokes Proof Passes Rechecks but Faces Scrutiny(2026-09-11, 2 posts)
• Episode 16: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(2026-09-12, 18 posts)
• Episode 17: Misread as Anti-AI, Terence Tao Sparks Debate Over the Value of Mathematics(2026-09-12, 18 posts)
• Episode 18: Fields Medalists' Open Letter on AI Sparks Cross-Disciplinary Debate(2026-09-12, 6 posts)
• Episode 19: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(2026-09-13, 8 posts)
• Episode 20: OpenAI Claims 10,000 Agents Solved Navier-Stokes Problem in 88 Hours(2026-09-14, 11 posts)

• As AI starts solving math problems, Terence Tao and mathematicians are reportedly unhappy — TinfoilTricorn · 2026-09-12
• Mathematicians including Terence Tao unhappy with AI solving math, sparking a debate — soumitrashukla9 · 2026-09-12
• Adam Dorr says Terence Tao's anti-AI-in-math stance boils down to ego, not reason — adam_dorr · 2026-09-12
• Terence Tao's real point on AI math: the invented concepts along the way matter most — burny_tech · 2026-09-12
• [source] Tao's Point on AI Math: Theorem Proving Is RLVR-Easy, Conjecturing and Abstraction Aren't — akbirthko · 2026-09-12
• Terence Tao's real point: AI firms should finish the job and automate math entirely — RexDouglass · 2026-09-12
• Terence Tao and mathematicians reportedly unhappy as AI starts solving math problems — jamestagg · 2026-09-12
• [source] 25 Fields Medallists raise concerns over AI-driven math; Terence Tao still pro-AI — hugobowne · 2026-09-12
• Tao's concern that AI harms math progress draws pushback for lacking articulation — paul_cal · 2026-09-12
• Terrence Tao debate sparks take: math and science exist to grow human understanding — sh_reya · 2026-09-12
• AI labs are Goodhart-ing math: viral take says millennium prizes are metrics being optimized away — BlancheMinerva · 2026-09-12
• 25 Fields Medalists issue joint declaration; Tao's real critique of AI companies checking off math problems — hugobowne · 2026-09-12
• Sriram disagrees with Terence Tao: who are the Millennium Prizes really for? — sebkrier · 2026-09-12
• Mathematician's complaint isn't that AI beat him, it's brute-force 'slop' proofs as marketing — hugobowne · 2026-09-12
• Terence Tao, top advocate for AI in math, criticized over concerns about his field's future — hugobowne · 2026-09-12
• Commenters Debate: Terence Tao's Vague Concern That AI Hurts Mathematical Progress — iandanforth · 2026-09-12
• [source] Math Twitter clashes over claim AI labs are Goodhart-ing mathematics via millennium prize problems — prasanna_says · 2026-09-13
• Mathematician pushes back on Tao-style AI critique: knowledge is infrastructure, not just answers — anshulkundaje · 2026-09-13