OpenAI 发布 722 篇数学手稿,称包含数百个开放问题解法
OpenAI drops another batch of mathematical breakthroughs
OpenAI 发布了一批由未发布前沿模型生成的数学手稿,共 722 篇,覆盖 372 个相关结果族,据称包含“数百个”开放问题的解法。发布内容包括部分模型推理摘要、所用 compute 估计和尝试问题数量统计,OpenAI 称“平均结果”相当于 3 小时 ChatGPT Pro thinking。
同一新闻,精选展示《OpenAI 在 GitHub 发布 372 个 AI 生成数学证明》
据称,OpenAI 发布的一批手稿中包含了对“数百个”开放问题的解答。
据称,OpenAI 发布的一批手稿中包含了对“数百个”开放问题的解答。
作者 Robert Hart
2026 年 10 月 6 日,UTC 23:26


图片:Getty Images
Robert Hart
是 The Verge 驻伦敦记者,报道 AI 相关的一切,也是 Senior Tarbell Fellow。此前,他曾为 Forbes 撰写健康、科学和科技方面的报道。
OpenAI 公布了一个未发布的前沿模型给出的若干长期数学问题解答,这些解答收录在一批 722 篇手稿中,涵盖 372 个结果族,这些结果族将相关论文归为一组。这延续了一系列突破,既让数学界部分人士印象深刻,也令他们感到不安,同时引发了有关研究伦理和学术行为的问题。根据 AGMAI——这个新成立的、由顶尖数学家组成的独立顾问小组,旨在负责妥善沟通这些结果——的说法,此次发布包括对“数百个”开放问题的解答。
这些结果已被期待了数周,不过直到现在,OpenAI 还没有提供该模型解决了哪些问题,或它们究竟何时会发布的细节。9 月,该公司表示,其模型已经“解决了数学大多数领域中 100 多个长期开放问题”。发布的论文和其他细节还包括对该模型推理过程的一些总结、所用计算量的估算,以及关于尝试解决的问题数量的统计数据。OpenAI 称,“平均每项结果”使用的计算量相当于 ChatGPT Pro 思考三小时。
AGMAI,即数学与人工智能顾问小组,9 月下旬发布了首批建议,敦促 AI 实验室尽快发布数学成果,并在可能的情况下通过既有学术渠道发布,同时披露所用模型名称、提示词和计算成本等细节。该小组还恳请 AI 公司“不要把发布数学成果当作宣传其模型的营销工具”,他们称这种做法会对数学界造成重大伤害。
以下是 OpenAI 对此次发布流程的描述:
对于此次发布,我们将在 GitHub 仓库中公布这些结果,并提供论文修订和引用协议。我们将继续探索其他由社区托管的替代方案,以满足委员会的指导方针。对于未来的发布,我们承诺通过引用、数学阐述以及结果呈现来进一步提高论文质量,以便更好地理解
这些成果的全部影响可能还需要一段时间才会显现,因为数学家们需要评估并消化它们。它们为 OpenAI 以及 Anthropic 等竞争实验室产出的快速增长的数学成果体系增添了新内容,而该领域仍在消化这些成果,其中包括涉及一项千禧年大奖难题的结果——这是该领域最著名的未解问题之一。今年 AI 实验室涌入这一学科的速度——尤其是它们处理公告的方式——已围绕研究实践、伦理以及公司如何署名那些其系统所依托、并可能用来产生成果的人类数学家的问题,引发了激烈辩论。
关注本报道中的主题和作者,即可在你的个性化主页信息流中看到更多类似内容,并接收电子邮件更新。
- Robert Hart
来源:The Verge · AI · theverge.com