Terence Tao

Sources#

Summary#

Mathematician at UCLA, Fields Medallist (2006), and — in this corpus specifically — the independent node that the AI-for-mathematics sources keep routing through. He appears in four raw documents without being the author of any of them, in three distinct roles: registrar of machine results, sceptic about what those results amount to, and host of the critique of the largest claim in the field. No source in this wiki is a primary Tao document; every appearance below is someone else citing him.

The three roles, as the corpus records them#

Registrar. DeepMind's formal-proof-search paper reports that its Erdős solves "have been logged on Terence Tao's wiki on AI contributions to Erdős problems" (Advancing Mathematics Research with AI-Driven Formal Proof Search, empirical — see AI-Driven Formal Proof Search, AlphaProof Nexus). The wiki is where a lab's claim becomes part of a public ledger maintained by someone with no stake in it, which is the only such ledger this corpus knows of in the domain.

Sceptic. Noam Brown raises Tao's position as the standing objection to his own side's results: "I think Terry Tao had a post like this… they're solving a lot of these problems, but I'm not aware of them coming up with new insights or formulating insightful new questions and new modes of theory for thinking about mathematics… So maybe the actual progress in mathematics, broadly construed, is smaller than it might seem if you're just looking at well-scoped problems that are directly solved" (Noam Brown – Agent swarms, alignment, & recursive self-improvement). That the objection is conceded by an advocate is why it carries weight on Transformative Creativity.

Host. On 2026-09-12 his blog published De Toffoli and Duede's "After Math" (After Math, practitioner-opinion), with a short editorial introduction of the guest authors in his own voice. Tao is not an author of it, and the wiki should not attribute its argument to him — but the post's second argument rests on his 2026 enumeration of mathematics' goals beyond problem solving (arXiv 2608.16753): developing new theories and techniques, understanding the world, sustaining a community, training the next generation, contributing to cumulative knowledge, and creating works of aesthetic value. See Logical vs Intelligible Proof.

He is also a co-author of Mathematical exploration and discovery at scale (Georgiev, Gómez-Serrano, Tao, Wagner), which appears in Stellar Colosseum's reference list and nowhere else in this corpus.

Connections#

AI-Driven Formal Proof Search — his Erdős wiki is the public register where that paradigm's open-problem solves are recorded
Logical vs Intelligible Proof — his goals-of-mathematics list is the backbone of the second argument there; his blog is the venue
Transformative Creativity — the "solving problems without producing new insights" objection, conceded on the record by an advocate
AlphaProof Nexus — the system whose 9/353 Erdős results were logged on his wiki
The Navier–Stokes AI Claim — the claim his blog hosted the response to

Open Questions#

Tao's 2026 goals-of-mathematics paper (arXiv 2608.16753) is cited second-hand here and is not in this corpus; nor is the Erdős-contributions wiki itself, which is the only independent public ledger of machine open-problem solves the sources name. Ingesting either would replace second-hand characterisation with a primary source on both counts.

Sources#

After Math — hosts the guest post and supplies its editorial introduction; the source of the arXiv 2608.16753 goals list as quoted by De Toffoli and Duede. Tao wrote only the italic framing note, not the argument
Advancing Mathematics Research with AI-Driven Formal Proof Search — one sentence: the Erdős-wiki logging of DeepMind's 9/353
Noam Brown – Agent swarms, alignment, & recursive self-improvement — one passage: Brown citing "Terry Tao had a post like this" as the objection to his own field's progress claims. Paraphrase by a third party, not a Tao document