July 26, 2026
Proofs, Panic, and Robot Homework
Terence Tao: Mathematics in the Age of AI [pdf]
Math’s biggest brain says AI is coming, and the comments are already spiraling
TLDR: Terence Tao says math may be entering an AI-era shake-up, and the real question is how people should respond if these tools become useful for serious research. Commenters mostly loved the calm, practical tone, though some immediately turned the thread into a hunt for the video link and side jokes.
When Terence Tao — basically the celebrity genius of modern math — starts talking about a coming “crisis,” people listen. In his talk, he compares today’s AI moment to the early 1900s panic when mathematics had to rethink its deepest assumptions. His big message is not “robots solved math lol,” but something much messier and more human: what should the math community do if AI starts becoming genuinely useful at research-level work? Not just as a calculator, but as a serious helper with real tasks, some of the time, under human supervision.
And honestly, the comments were less “burn it all down” and more please, finally, can we talk about this like adults? One of the strongest reactions praised Tao for giving people the words to discuss AI without instantly turning the room into a doom spiral. Another commenter basically begged everyone to stop freezing in fear and start asking practical questions: what changes, what skills matter now, and what can humans do better with these tools than before? That was the optimistic camp.
But because this is the internet, there was still delightful side drama. Multiple people ignored the philosophy and immediately went full detective mode: is there a video or not? One hero dropped a YouTube link, while another tossed in a random drive-by joke — “I would vastly prefer it to the current Zig News” — a gloriously unexplained bit of comment-section chaos. The funniest tiny flex? Tao’s slide note: “All em-dashes in these slides were human-generated.” Even the punctuation came with AI discourse energy.
Key Points
- •Terence Tao frames the impact of AI on mathematics as a possible new crisis in the foundations of mathematical values and practices.
- •The talk compares the current AI moment to the 1900–1930 foundational crisis triggered by Russell’s paradox and the Gödel incompleteness theorems.
- •Tao says the core issue is how the mathematical community should respond to modern AI technologies and their real or claimed mathematical capabilities.
- •He describes this response question as metamathematical as well as political, ethical, and cultural, not purely mathematical.
- •The talk introduces an “AI Capability Conjecture” stating that some AI tools may soon perform some research-level mathematical tasks under some level of cost, supervision, success, correctness, and quality.