OpenAI 宣称攻克千禧年数学难题，学界为何喜忧参半？
一次震动数学界的“宣告”
据 IEEE Spectrum 报道，OpenAI 近期声称其 AI 系统解决了一个悬而未决的千禧年大奖难题（Millennium Prize Problem）。消息一出，数学界和 AI 圈迅速分裂为两派：一方欢呼这是机器智能的里程碑，另一方则对结论的严谨性、可验证性以及 AI 在数学研究中的角色提出尖锐质疑。
千禧年大奖难题由克雷数学研究所于 2000 年设立，共七道，每道悬赏 100 万美元，至今只有庞加莱猜想被正式解决。如果 OpenAI 的声明属实，这将是 AI 首次独立攻克该级别的基础数学难题。
争议焦点：证明还是“猜出答案”？
争议的核心在于：AI 究竟给出了完整、可被同行评议的数学证明，还是仅仅通过模式匹配“猜”到了答案？数学证明要求每一步都经得起逻辑推敲，而当前大语言模型本质上仍是概率生成器，可能产生看似合理但存在隐蔽漏洞的推导。
在 2026 年海德堡获奖者论坛（Heidelberg Laureate Forum）的一场专题讨论中，多位顶尖数学家——包括 Peter Scholze、Geordie Williamson、Michael Harris 和 Jacob Tsimerman——就 AI 对数学研究的影响展开了激烈辩论。尽管讨论的具体内容未被详细披露，但这一阵容本身已说明学界对 AI 介入数学基础研究的重视与不安。
为什么数学家“不高兴”？
数学界的不安并非出于对技术的排斥，而是源于几个深层担忧：
- 验证困境：一个由 AI 生成的证明，如果长到人类无法逐步检查，其正确性如何确立？形式化验证工具（如 Lean）或许是出路，但将自然语言证明翻译为形式化代码本身就可能引入错误。
- 理解缺失：数学的价值不仅在于结论，更在于证明过程带来的洞察。即便 AI 给出了正确证明，如果人类无法理解其思路，数学知识的增长将大打折扣。
- 优先权与声誉：如果 AI 独立解决了千禧年难题，奖项应归谁？是 OpenAI 的工程师，还是模型本身？这动摇了传统学术奖励体系的根基。
AI 与数学：合作还是替代？
值得注意的是，AI 在数学领域的辅助作用已获广泛认可。从 AlphaTensor 发现更快的矩阵乘法算法，到 AlphaGeometry 解决奥赛几何题，AI 正成为数学家的有力工具。但“工具”与“独立发现者”之间存在本质区别。
OpenAI 的这次声明，无论最终被证实还是被证伪，都迫使数学界直面一个紧迫问题：当 AI 开始触碰人类智力的最高疆域，我们该如何定义“理解”、如何分配“ credit”、又如何确保数学的严谨性不被效率诱惑所侵蚀？
目前，OpenAI 尚未公布完整的证明细节，学界仍在等待可复现、可验证的证据。在此之前，欢呼与质疑都将持续并存。
