- 发布日期
OpenAI再公布数百项数学成果 AI正在把数学研究推向前所未有的转折点
- 作者
- 姓名
- 荷鲁斯快报
- 社交账号
OpenAI再掀数学界波澜。当地时间10月6日，该公司公布了一批由内部前沿AI模型产生的新数学研究成果，共涉及372组结果，覆盖数学和理论计算机科学中的大量长期未解决问题。OpenAI表示，这些成果要么解决了长期存在的开放问题，要么取得了具有实质意义的突破，成果已通过GitHub仓库公开。
此次发布的规模远超此前单个数学问题的突破。OpenAI共公开722份论文或相关手稿，分别对应372组不同的数学结果，覆盖数论、代数几何及理论计算机科学等多个方向，部分问题困扰数学家数十年。公司同时公布了模型推理过程摘要、计算资源消耗及尝试过的问题数量，供数学界全面评估。
按照OpenAI公布的数据，平均每项成果使用了相当于ChatGPT Pro连续思考约3小时的计算资源，表明这些成果是在大量计算和反复尝试基础上获得。部分成果还提供了Lean形式化证明，即通过计算机检查数学逻辑是否严谨。OpenAI表示已对大量成果进行了形式化，并将在获得更多形式化证明后继续更新仓库。
为回应数学界对AI成果发布方式的不满，OpenAI成立了数学与人工智能咨询小组，邀请包括知名数学家在内的专家参与讨论如何发布这些成果。OpenAI表示已参考该独立咨询机构的建议，将成果置于GitHub仓库公开，并提供论文修改和引用机制，以便研究人员发现问题后进行修订。
然而，这些成果尚未得到数学界认可。数学家仍需逐篇阅读、检查证明，判断结果的实际意义。此前，数学家Tristan Buckmaster曾公开质疑OpenAI在解决纳维–斯托克斯问题中获取相关证明思路的过程，指出自己与Anthropic数学家Levent Alpöge此前已在相关方向取得重要进展。OpenAI否认了相关指控，但围绕AI研究的署名与贡献认定引发激烈争论。
此次发布被视为一场关于数学研究模式未来走向的实验。过去，数学家研究一个开放问题可能需要数月甚至数年，而一个前沿AI模型可在数小时计算资源投入下同时尝试数百个问题。即使多数结果最终无法成立，只要少数结果正确，其研究效率也可能远超传统人类研究方式。OpenAI认为，这些成果的目的不是取代数学家，而是推动数学知识边界继续向前发展。
OpenAI表示，将在进一步安全和能力评估之后，准备向公众发布产生这些成果的模型，让科学家能够直接使用最先进的AI系统解决数学及其他科学领域问题。如果其中相当一部分成果经数学界验证成立，这意味着AI在数学领域已从"解题工具"逐渐进入"研究工具"阶段。但数量不等于质量，数学界真正需要回答的问题是：其中有多少能够经受严格同行评审并推动进一步研究。
