Grant Sanderson (@3blue1brown) – AI and the future of math
In a Nutshell
Grant Sanderson argues that AI's rapid progress in math—driven by verifiable, grindable domains like IMO problems and Lean formalization—signals broader capabilities, but the hardest parts to automate are generating novel conjectures, definitions, and insightful cross-domain connections rather than raw theorem-proving. He highlights that AI's advantages include parallelization, systematic context-escaping, and endless exploration of axiom spaces or Mathlib extensions, yet warns that "mountain-building" new theories or distilling compressed, human-understandable insights may lag behind brute-force solutions. Ultimately, mathematicians' roles will shift toward curation—deciding what ideas are worth pursuing—while demand grows for humans who translate AI output into clear, motivating explanations and identify physically relevant results.
These notes were generated by AI and may contain inaccuracies.
Grant Sanderson runs 3Blue1Brown and is documenting AI progress in mathematics. AI has made the fastest progress in mathematics compared to any other field, and developments here will indicate what happens elsewhere as AI improves. Three years prior, when asked whether AIs achieving gold at the International Math Olympiad would constitute AGI, Sanderson responded that it would be another benchmark like others AI systems pass, without a singular "aha" moment. AI has improved generally since then, but the prediction held.
The IMO contains four categories: geometry, number theory, algebra, and combinatorics. AI systems are very good at geometry, solving problems in nineteen seconds via brute force since 2024. For students, geometry also has a brute force approach. Combinatorics problems are more playful and puzzly. In the year discussed, two combinatorics problems appeared on the test. If more geometry questions had been present, the AI would have achieved gold. The system struggles on combinatorics problems, which some view as requiring more creativity.
Solving a Millennium Prize problem like the Riemann hypothesis may not equate to automating white-collar work. AI systems excel at deep knowledge within specific domains but have not consistently found lightning-bolt connections between domains. Sparks of cross-domain connection-finding are emerging. The Riemann hypothesis solution might involve such bridging, as in the story of Hugh Montgomery and Freeman Dyson at the IAS. Montgomery studied statistical correlations between pairs of zeros of the Riemann zeta function and derived a formula resembling one over sine squared. Dyson recognized this expression from eigenvalues of random Hermitian matrices in nuclear physics, prompting exploration of random matrix theory's relevance to the zeta function.
Sign in to read the full notes
Get access to AI-generated notes, topic timestamps, and more.