新上线10天前0 投票
AI 引发的数学危机：数学家何去何从？
近日，OpenAI 发布了一组针对长期未解数学难题的解决方案，在数学界引发轩然大波。The Verge 的 AI 记者 Robert Hart 在最新一期 Decoder 播客中，与多位顶尖数学家深入探讨了这场由 AI 引发的数学领域“生存危机”。
从“算数都算不对”到“攻克高深难题”
讽刺的是，当前 AI 系统在小学算术上仍会出错，却在高阶抽象数学上表现出色。这种反差让数学界既惊叹又不安。如果 AI 能完成如此高难度的数学工作，是否意味着这些能力可以迁移到其他领域？数学研究的本质和人类数学家的角色，都因此受到根本性质疑。
核心争议：人类数学家还有何用？
Robert 在采访中发现，许多数学家感到“震惊”和“困惑”。如果前沿模型能直接解答所有悬而未决的问题，那么培养新一代数学家去发现新问题、解决旧问题的大学项目和学术资助，其意义何在？
一些数学家担心，AI 的数学突破可能只是前沿实验室的“营销手段”，意在展示模型能力，而并非真正关心数学这一古老学科的未来。这种功利性动机，让本就焦虑的数学界更加不安。
行业背景：AI 竞赛的缩影
这场数学危机，本质上是 AI 竞赛的一个缩影。科技巨头和前沿实验室不断推高模型能力上限，从自然语言处理到代码生成，再到如今的数学推理，每一步都在重塑传统行业的认知。数学作为“科学皇后”，其核心地位正被 AI 动摇，这不仅是技术问题，更是哲学问题。
未来展望：合作还是替代？
尽管前景不明，但多数受访数学家认为，AI 更可能成为辅助工具，而非完全替代人类。关键在于如何界定人机协作的边界，以及如何调整数学教育和研究范式。这场危机或许会催生新的数学分支，比如“AI 辅助证明”，但前提是学界能主动拥抱变化，而不是被动接受冲击。
正如 Robert 所言，这只是开始，AI 与数学的互动将深刻影响未来几十年的学术生态。
