Mathematician Kevin Buzzard: math community is 'grieving' through five stages over AI
littmath · x · 2026-10-02
In a long Xena Project blog post, mathematician Kevin Buzzard argues that AI for mathematics is undergoing a transformation unlike anything the field has seen, with language models now solving hard problems humans could not. While he is personally "extremely excited," many colleagues are upset, and he maps their reactions onto Kübler-Ross's five stages of grief. Examples of "denial" include the Association for Human Mathematics, whose members pledge not to publish AI-generated outputs and can take an "AI-free" option renouncing AI in research entirely. He also references Anthropic recently beating him to formalizing FLT. Reposter Constantin Kogl calls himself an overall AI optimist.
Related event: Mathematician Buzzard: Math Community in "Five Stages of Grief" Over AI(5 posts)→
More from AGI Musings
- Diamandis: Ask What AI Gives Us Permission to Do, Not What It Takes Away — PeterDiamandis · 2026-10-02
- One engineer burned 275B tokens in 30 days with 31 AI subscriptions at $6,000/month — forestmars · 2026-10-02
- Pope Leo XIV Condemns AI 'Slop,' Calls to Distinguish Human Art from Machine Content — Polymarket · 2026-10-02
- Only Millions Use AI Agents Today — a16z Sees Billions of Users Ahead — FinanceYF5 · 2026-10-02
- Margaret Mitchell: don't build AI systems you think are conscious — mmitchell_ai · 2026-10-02
- Dev argues AI's job-elimination tsunami will hit manual labor hardest in the 2030s — csuwildcat · 2026-10-02