@GaryMarcus: Brilliant, must read lecture on AI and math by leading mathematician Terence Tao. Among the key points: (a) we are risk…
Summary
Gary Marcus highlights Terence Tao's lecture on AI and mathematics, noting risks like 'proof indigestion' and that AI may only excel at certain mathematical tasks, not theory-building.
View Cached Full Text
Cached at: 08/04/26, 02:13 PM
Brilliant, must read lecture on AI and math by leading mathematician Terence Tao.
Among the key points: (a) we are risk for “proof indigestion”; not every proof is useful and (b) math is not uniform (see figure below), and AI might be good at some part of what needs to be done but not all.
In keeping with this (and with what I argued yesterday), Astra (his essay was written just before Astra was announced) is good at solving certain types of problems but there is no evidence thus far it can build new theories.
https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf…
Similar Articles
@rohanpaul_ai: Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to …
Terence Tao discusses how AI is dramatically accelerating math research, reducing the years of education needed to contribute to the frontier.
Terence Tao on How AI Is Changing Mathematics
Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.
How Terry Tao became an evangelist for AI in math
Terry Tao, a renowned mathematician, discusses his evolving views on artificial intelligence in mathematics and his advocacy for large-scale collaborations and computer verification of proofs.
@OpenAI: In conversation with OpenAI’s @markchen90, Terence reflects on a future where AI reduces the cognitive friction of rese…
Terence Tao and Mark Chen discuss how AI is changing mathematical research, from literature search to code generation, and the need to adapt workflows.
AI and the future of math (2 minute read)
Grant Sanderson and Dwarkesh Patel discuss how AI is making rapid progress in mathematics, the nature of conceptual breakthroughs, and what this means for other fields as AI advances.