OpenAI大规模数学论文发布引发学术数学家职业担忧

2026年10月6日晚间，据技术媒体Unite.AI报道，OpenAI开放了一个包含722份数学手稿的公开存储库，这些手稿分为372个问题族，由一个尚未公开发布的内部模型生成。该公司表示向该系统共提出了大约4000个开放问题，仅发布了其认为值得发布的子集，涵盖代数、数论、拓扑、理论计算机科学和数学逻辑。

OpenAI发布的内容

据Unite.AI报道，内部模型的训练始于2026年8月28日，评估运行于9月1日启动。该模型据报在9月5日左右产生了一个Lean形式化证明，解决纳维叶-斯托克斯奇点问题——克雷数学研究所七个千禧奖问题之一——OpenAI于9月8日公开宣布了这一成果。该公司表示不会寻求相关的100万美元奖金。《财富》杂志报道，OpenAI还在10月6日的批次中声称在三个其他千禧奖问题上取得部分进展，但未完全解决它们。

并非每份手稿都附带机器检查验证。据Unite.AI报道，许多但并非所有论文都在Lean证明助手中包含形式化，该助手自动检查每个逻辑步骤；未形式化的结果带有更高的隐藏错误风险。《财富》杂志报道，到10月8日，OpenAI在发现错误后已撤回了至少三个已发布的解决方案。

一位菲尔兹奖得主说他哭了

这次发布对一些研究人员产生了个人影响。法国媒体SenePlus报道，Hugo Duminil-Copin在2022年因对统计物理学中相变的研究而获得菲尔兹奖，他发现他自己的16个开放研究问题被OpenAI声称已解决的问题包括在内，称该公司实际上已结束了该研究方向。他说自己在10月6日星期二夜间哭泣到10月7日，以至于惊醒了他的女儿。

据SenePlus报道，Duminil-Copin在10月8日由法国数学学会组织的视频会议中辩称，研究人员的目标不仅是证明定理，而是为他人产生理解。他说他最担忧的是早期职业数学家，他担心他们会受到最大影响，因为如果数学家因竞争压力开始保留他们的工作，同事之间传播想法和部分结果的非正式文化会崩溃。

数学家反击

这次发布促使人文数学协会（AHM）发布了一份公开声明，该组织的通讯工作小组在10月7日将其作为客座文章发布在数学家Terence Tao的博客上。该声明称数学家未要求这些工作，OpenAI无视了来自数学和人工智能咨询小组的先前指导，该咨询小组是一个独立机构，就人工智能公司应如何测试和发布数学声称提供建议，据AHM声明。该声明将一次发布超过700个文件描述为反映OpenAI的资源规模，而不是经过仔细的学术评审。

《财富》杂志报道，Terence Tao在Mastodon上写道，该事件标志着他所说的"数学1.0"时代的终结，辩称问题越来越多地被对该领域本身不感兴趣的人工智能用户解决，该学科需要更看重阐述和社区建设，而不仅仅是问题解决。纽约大学数学家Tristan Buckmaster之前就纳维叶-斯托克斯工作提出了关注，据《财富》杂志引述告诉《纽约时报》，他怀疑一些发布的结果将其他数学家的先前工作扩展到完成，而没有给予适当的认可。

哥伦比亚大学数学家Peter Woit在其博客《Not Even Wrong》上写道，他将这次发布描述为组织不当，并表示OpenAI忽视了咨询小组的建议，之后将整理结果的责任推卸给数学界本身。Woit将这些论文背后的系统确定为他称之为'Astra'的模型。他帖子的评论者说，许多人工智能生成的证明在技术上密集但提供很少的数学直觉或新的理论理解，即使是正确的。

不是新的争执

OpenAI与数学家之间的摩擦早于10月发布。TechCrunch报道，2025年10月，OpenAI副总裁Kevin Weil发布——之后删除——了一个声称，GPT-5找到了10个以前未解决的Erdős问题的解决方案，并在11个其他问题上取得进展。维护公开Erdős问题数据库的Thomas Bloom表示这种表述极具误导性，解释说在他的网站上标记为"开放"的问题只是意味着他不知道已发布的解决方案，而不是不存在解决方案；他说GPT-5定位了他错过的现有参考文献。OpenAI研究人员Sebastien Bubeck后来承认该模型仅在已发布的文献中定位了现有解决方案，而不是发现了新的解决方案，尽管他说这仍然有价值。

支持者表示该领域可以适应

并非每个数学家都将这次发布视为危机。《财富》杂志引述多伦多大学数学家Dan Litt的话，称他总体上认为这一发展对数学有益，但警告说社会需要继续资助人类数学家，以便该领域不会因此失去制度支持。Litt还指出，OpenAI没有聘请足够的数学家来将其所有结果写成常规论文，他说这有助于解释（尽管不能原谅）发布的规模和速度。

• 2026年10月6日发布了372个问题族中的722份人工智能生成手稿（Unite.AI）。
• OpenAI在发布选定的子集之前在大约4000个开放问题上测试了该模型（Unite.AI）。
• 至少三个已发布的结果在发现错误后于10月8日被撤回（《财富》杂志）。
• 菲尔兹奖得主Hugo Duminil-Copin表示他自己的16个开放问题被列在处理的问题中（SenePlus）。
• 人文数学协会敦促数学家停止与OpenAI合作（Terence Tao的博客）。