专题 · FULL STORY

LLM 连破数学猜想，数学界陷入危机争论

LLM 相继给出多个长期悬而未决数学猜想的反例，引发数学界震荡。博主长文自述陷入精神危机后，社区围绕「AI 做数学是采样而非理解」展开争论，数学家则回应称理论数学家需重新寻找自身价值。

2026-08-24 ~ 2026-08-27 · 3 集 · 8 条

第 1 集 · LLM 连破数学猜想，数学家自述陷入精神危机(2026-08-24,3 条)

近期 LLM 相继给出多个长期悬而未决数学猜想的反例，在数学界引发震荡。数学博主 Kirwin Hampshire 在长文《The Dark Night of Mathematics》中自述因此陷入“精神危机”甚至噩梦，直面 AI 带来的身份危机。相关讨论还探讨了“莱顿 AI 与数学宣言”的命名渊源——“Leiden”在德语中意为“受难”，恰与数学家的痛苦心境呼应。

第 2 集 · 观点：AI 做数学是采样而非理解，难替代数学家(2026-08-26,2 条)

围绕 AI 解决数学难题是否引发意义危机的讨论，Gerard Sans 提出观点：当前前沿 AI 做数学类似 AlphaGo 的第 37 手，本质是计算与采样——可以从大量生成的证明中筛出少数能被验证的，但可能没有任何真正的理解。因此他认为 AI 虽能产出证明，却难以替代数学家，数学界的意义危机论调被部分消解。

第 3 集 · 数学家回应 AI 冲击：理论数学家需寻找新价值(2026-08-26,3 条)

围绕 AI 是否会让理论数学家失业的争论引发热议。有观点认为，随着 AI 能自动生成并验证研究论文，无法证明商业应用价值的理论数学家或将失业。数学家 Alex Kontorovich 回应称，不提供价值给他人的事物终将消失，质疑谁会为仅由 AI 写作和欣赏的体系买单；他表示理解职业焦虑，但没有人被社会"欠"一份工作，企业和个人都需不断转型，创造人们想要的东西。