OpenAI一口气发布722项数学发现，学界惊叹之余质疑验证能力

参考消息网10月8日报道，据英国《新科学家》周刊网站10月7日报道，OpenAI发布了722篇数学论文，其中包含对各类数学命题的证明与证伪。公司未公布完成这些发现的模型名称，仅称其为一款内部前沿模型。就在上个月，OpenAI刚攻克纳维耶-斯托克斯流体力学方程的相关问题——这是数学界悬置最久的难题之一。

学界反应两极。伦敦大学学院的约翰逊研究沃尔D(2)问题25年、写过两本书最终放弃，而该问题就在这批论文中被解决。他表示AI分析的缜密与清晰程度令他震惊，精灵已经从瓶子里出来了。但帝国理工学院的巴扎德提醒审慎：这批成果中30篇属于他研究的数论领域，仅7篇质量突出，只有1篇通过Lean形式化验证——这是能确凿核验数学推导的计算机工具。剑桥大学的阿拉纳克称，对AI公司而言数学发现是智力领域的奖杯。

【AICOR 点评】这则新闻真正的看点不是AI能证多少定理，而是人类审稿带宽的极限：700余项产出对上以周计的人工验证，科学验证流程本身必须AI化才能跟上生产速度。对科研组织而言，人机协同的重心正从让AI做研究转向为AI建验证流水线——形式化验证、复现实验、证据链管理，将成为新的基础设施投资方向。