Kevin Buzzard: math will hit a 'natural boundary' where machines get stuck
ChrSzegedy · x · 2026-10-02
Kevin Buzzard, founder of the Xena project for formalized mathematics, argues the math community is living through Kübler-Ross's five stages of grief over AI — citing the Association for Human Mathematics's pledge to avoid AI-generated output as 'denial.' His own take: mathematics will eventually reach a 'natural boundary' beyond which machines get stuck and further investment isn't viable; the optimal strategy is to let machines run free, see where they stop, and continue the journey from there. He also notes Anthropic has beaten him to work on formalizing Fermat's Last Theorem.
Related event: Mathematician Buzzard: Math Community in "Five Stages of Grief" Over AI(3 posts)→
More from AGI Musings
- NVIDIA applied DL VP: at the scaling limit, efficiency is the new intelligence — ctnzr · 2026-10-02
- Hinton: smarter AI could persuade the human holding the off switch not to use it — robleclerc · 2026-10-02
- NYT AI projects editor: AI slop makes human-written journalism more valuable — dylfreed · 2026-10-02
- Mathematicians issue open letter urging thoughtful AI collaboration and disclosure — RexDouglass · 2026-10-02
- Frontier AI now beats junior accountants on speed and accuracy, Mercor study finds — emollick · 2026-10-02
- From Infinite Backrooms to First AI Millionaire: The truth_terminal and S.A.N. Lineage — repligate · 2026-10-02