数学家 Kevin Buzzard 长文:AI 冲击数学界,同行正经历「悲伤五阶段」
notmisha · x · 2026-10-04
伦敦帝国理工数学家、Lean 社区代表人物 Kevin Buzzard 在 Xena 博客发长文,讨论 AI for mathematics 正以前所未有的速度改变领域:语言模型已能解出人类解不开的难题。
他以 Kübler-Ross 的悲伤五阶段(否认、愤怒、讨价还价、抑郁、接受)分析数学界的分化反应,例如「人类数学协会」成员承诺不发表 AI 生成结果、提供「AI-free」研究选项。他自己对前景极其兴奋,但认为许多同事正处于悲伤之中。
他同时提出:未来数学将抵达一个新的「自然边界」——远超当下,但机器也会在那里卡住,再投入资源推进大突破将不再划算。
所属事件:数学家Kevin Buzzard长文谈AI冲击数学界(2 条相关)→
「漫话AGI」频道最新
- Gary Marcus 向 Anthropic 研究员下战书：敢赌 AGI 两三年内实现吗 — GaryMarcus · 2026-10-04
- AI 正倒逼软件工程变成一门真正的工程学科 — IgorCarron · 2026-10-04
- ALZ 指出:智能无需意识,AI 正打破千年人类直觉 — inductionheads · 2026-10-04
- 批评者：董事会用「AGI 会治愈气候」叙事为算力扩张开脱 — im_mansigupta · 2026-10-04
- 评论人称 Anthropic 招聘已筛掉不信 AI 有意识的人 — robleclerc · 2026-10-04
- 评论者:AI 实验室不让远程办公,演示用例才会如此脱离现实 — GabGarrett · 2026-10-04