OpenAI 前沿模型数学成果发布

2026年10月6日，OpenAI 公布内部前沿模型在数学开放问题上的新结果，并公开 Lean 形式化证明与研究细节，相关证明形式化和研究细节已发布在 GitHub 上。10月7日，The Verge 报道，OpenAI 发布了一批共722篇数学手稿，覆盖372个结果族，据 AGMAI 称其中包含对数百个开放问题的解答，这些结果由一个未发布的前沿模型产出；OpenAI 表示平均每个结果相当于 ChatGPT Pro 思考三小时，并称此次通过 GitHub 仓库发布，附带论文修订与引用协议。

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

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