OpenAI 一次性放出近 400 项数学成果，数学家称需数年消化

核心事实

据 The Verge 报道，OpenAI 本周向数学界一次性放出近 400 项由 AI 生成的数学结果，分布在 700 多份手稿中，涵盖组合数学、几何学多个分支、数论、理论计算机科学、代数、拓扑学、概率与统计力学以及数学物理等方向。报道称，超过三打数学家在与该媒体的交流中用「惊人」「压倒性」「前所未有」「超现实」「纯属疯狂」等词形容这批成果的规模。OpenAI 方面表示，719 份手稿中仅 300 项顶层结果已完成形式化，约占 42%，并称将陆续补充。

背景与影响

部分手稿附有 Lean 证明助手的代码，可用于计算验证，但报道指出各结果验证程度差异极大，且即便有 Lean 代码，研究者仍需确认形式化内容是否真正证明了手稿所声称的结论。多位数学家抱怨形式化不足，并提到此前 OpenAI 数学写作因署名与引用草率而广受批评，有人事先将这次发布戏称为「垃圾论文末日」。也有研究者表示，初步印象好于预期，其中一些工作若在 AI 出现之前，足以登上顶级期刊，甚至可能让作者成为菲尔兹奖的有力竞争者。但报道同时提到，有论文难以读懂、篇幅异常简短、参考文献偏少，OpenAI 还撤回了三篇论文。

限制与来源

上述内容来自 The Verge 的报道，涉及数学家个人评价与初步印象，尚未经同行评审或官方确认。OpenAI 未公布完整验证时间表，各结果的正确性与原创性仍待独立核查。相关功能、可用范围与后续更新请以 OpenAI 官方渠道当前信息为准。