Mathematicians are grieving: Xena blog maps AI shock to the five stages of grief

michael_nielsen · x · 2026-10-04

Kevin Buzzard-linked Xena blog post argues AI for math is transforming faster than ever, with language models solving problems humans couldn't. Borrowing the Kübler-Ross grief model (denial, anger, bargaining, depression, acceptance), the author maps the math community's reactions — including the Association for Human Mathematics's pledge to publish no AI-generated work. The author is personally excited; Michael Nielsen endorses it. The author previously noted Anthropic "beat me to it" on FLT formalization.

Related event: Mathematician Kevin Buzzard on AI's Upheaval of Mathematics(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →