Terence Tao's "Mathematics in the Age of AI" Assumes Research-Level AI and Asks What Math Is For
Terence Tao published "Mathematics in the Age of AI," based on his public lecture at the 2026 International Congress of Mathematicians. Rather than debating whether AI can do research-level mathematics, the paper assumes it can and asks what the goals and values of mathematical research should be, prompting broad discussion on the intersection of AI and fundamental science.
Confirmed
- The paper, titled "Mathematics in the Age of AI," is based on Tao's 2026 ICM lecture (m2, m3, m5, m6, m7).
- It uses problem-solving in mathematics as a case study to analyze how the math community may transform under AI's impact (m2, m3, m6).
- The core shift: the math community must rethink the goals and value of mathematical research (m2, m3, m5, m6, m7).
- According to @QGallouedec, Tao notes that AI tools already produce long, verified-correct proofs that possibly no human—including the prompter—truly understands; a proof humans cannot explain struggles to advance the field (m1).
- The lecture also discusses how AI is changing the practice and future form of mathematical research, including AI-assisted discovery and shifting research paradigms (m4, m5).
Why it matters
- Tao is among the most influential living mathematicians; his jump from "can AI do math" to "AI already can—now what" treats research-level AI mathematics as a given, itself a significant signal.
- "Correct but ununderstood proofs" strike at the philosophical foundations of mathematics: the tension between verification and human understanding could reshape peer review, proof education, and research paradigms.
- The discussion shifts from capability to values and paradigms, with implications for how math—and other basic sciences—define problems and priorities.
2026-08-19 ~ 2026-08-20 · 6 related posts
Primary sources
- [source] Terence Tao essay explores goals of math research in the age of AI — neurovium · 2026-08-19
- Terence Tao on Mathematics in the Age of AI: AI Will Transform Mathematical Research — miniapeur · 2026-08-19
- [source] Terence Tao explores the dilemma of AI-generated proofs that no human understands — QGallouedec · 2026-08-20
- Terence Tao releases talk: Mathematics in the Age of AI — zainhas · 2026-08-20