OpenAI 公布模型数学开放问题成果

2026年10月6日，OpenAI 在其官方新闻渠道发布消息，公布内部前沿模型在数学开放问题上的新进展，并同时将相关 Lean 证明形式化及研究细节公开在 GitHub 上。次日（10月7日），The Verge 报道称，OpenAI 公开了一批由未发布的前沿模型产出的数学成果，共 722 篇手稿、覆盖 372 个结果族；据独立顾问组织 AGMAI 称，其中包含对“数百个”开放问题的解答。早先 OpenAI 官方报道未提及手稿数量与结果族规模，后续 The Verge 报道补充了 722 篇手稿、372 个结果族以及 AGMAI 对“数百个”开放问题解答的说法。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。