OpenAI 数学模型被称攻克多项开放难题
Latent Space2 天前
OpenAI 近日公布了一批由其内部数学模型产出的研究成果，形式包括说明文章、代码仓库和社交平台公告。相关信息称，这批成果包含 722 篇数学论文，并据称解决了“前 500 个开放数学问题”中的 90 个。
最受关注的结果：准黎曼假设
其中编号为 Result 003 的成果被称为“准黎曼假设”。围绕这一结果，部分数学与 AI 研究者给出了非常高的评价：有人将其称为“数学史上最重要的时刻”，也有人认为它可能介于“菲尔兹奖级别成果”和“200 年来数论最大成果”之间。
不过，这类评价仍带有明显的即时反应色彩。对于如此重大的数学结论，最终仍需要更广泛的专家审阅、证明细节核查与时间检验。
与此前 Navier-Stokes 成果的对比
此前 OpenAI 的内部数学模型曾被报道称用于 Navier-Stokes 相关问题，当时的描述是：约 88 小时、使用 10,000 个智能体完成相关工作。
这次更令人意外的是，据称这些新成果平均只需要 3 小时 ChatGPT Pro 级别的计算或交互时间。这一点如果属实，意味着 AI 在数学研究中的工作流可能发生显著变化：从大规模并行智能体，转向更低成本、更短周期的证明探索。
为什么这件事值得关注
这批成果之所以引发震动，主要有三点：
- 规模异常大：一次性公布 722 篇数学论文，在数学研究史上极为罕见。
- 问题分量很重：相关说法称其覆盖了多个顶级开放问题。
- 生成成本极低：平均 3 小时的说法如果成立，将显著改变外界对 AI 数学能力边界的判断。
仍需谨慎看待
目前最关键的问题不是“评价有多高”，而是这些证明能否经受严格检验。数学成果不同于工程演示，任何一个关键引理、定义处理或边界条件的瑕疵，都可能影响结论成立。
因此，比较稳妥的判断是：这是一批值得高度关注的 AI 数学成果，但其历史地位仍取决于后续的独立验证和数学共同体审查。