OpenAI 内部模型攻克数学开放问题

2026 年 10 月 6 日，OpenAI 发布消息称其内部前沿模型在数学开放问题上取得新结果，并同步公开 Lean 证明形式化内容与研究细节，相关材料已放在 GitHub；由于该 feed 仅提供摘要，未披露具体题目、模型名称或证明数量。10 月 7 日，The Verge 报道称，OpenAI 公布了共 722 篇手稿，覆盖 372 个结果族，内容是一个未发布的前沿模型对若干长期数学难题给出的解答；新成立的独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答。OpenAI 表示成果以 GitHub 仓库发布，并提供论文修订与引用协议，主张继续探索符合委员会准则的社区托管方式。早先报道仅称取得新结果且未给出数量，后续报道则给出 722 篇手稿、372 个结果族等具体数字。

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

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