ทันเอไอ

当 AI 撼动数学王座：研究人员面临的新危机与挑战

在顶尖人工智能展现出解决高难度问题并协助证明定理、达到国际奥林匹克数学竞赛银牌水平的能力后，全球数学界迎来了巨大的震动。

The Verge 旗下播客节目 Decoder 探讨了“数学界的 AI 危机”这一热点话题，采访了该媒体的 AI 记者 Robert Hart，该讨论延伸自一篇关于人工智能在数学界扮演角色的深度报道。

这一进展与《自然》杂志及 Google DeepMind 博客的报道相呼应，报告指出，AlphaProof 和 AlphaGeometry 2 等模型通过结合逻辑验证系统或 Lean 语言，能够解决国际数学奥林匹克（IMO）级别的难题，从而解决了 AI 逻辑推理错误或“幻觉”的问题。

据《Quanta Magazine》报道，菲尔兹奖得主等数学家 Terence Tao（陶哲轩）认为，AI 已经开始充当“Copilot”（副驾驶），在分析和检查证明漏洞方面发挥辅助作用。然而，这一进展也在顶尖数学结构中引发了担忧，涉及人类角色的调整、学术成果的评估以及对数学真实理解的定义。