数学家Buzzard谈AI冲击与数学界分化

2026年10月2日，伦敦玛丽女王大学数学家、Lean 形式化社区 Xena 项目的 Kevin Buzzard 发表长文，讨论 AI for mathematics 引发的剧烈变革，以及数学界由此出现的分化反应。文中 Buzzard 用“悲伤五阶段”来刻画学界面对 AI 冲击时的分化状态。报道未披露长文的具体论证内容，也未提及数学界其他学者的回应。目前该事件仅有这一篇报道，尚无后续进展。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。