OpenAI 发布722篇数学论文手稿并开源 Lean 形式化
先了解这件事
2026年10月6日，OpenAI通过官方新闻渠道公布，其内部前沿模型在数学开放问题上取得新结果，并将相关Lean证明形式化和研究细节发布在GitHub上。当时未披露模型名称及所解决问题的详情。10月7日，The Verge报道进一步披露：OpenAI通过GitHub仓库发布722篇数学论文手稿，涵盖372个结果族；据独立顾问组织AGMAI称，其中包含对数百个长期开放问题的解答。手稿附有模型推理摘要和算力估计等细节，OpenAI称平均每个结果约相当于3小时ChatGPT Pro思考量。随后Latent Space AINews补充汇总信息：这批手稿包含Quasi-Riemann Hypothesis等结果，来自约4,000个问题评估，平均每个结果约3小时ChatGPT Pro思考算力，模型本身未发布。关于问题数量，早先报道称该模型9月曾宣布解决100多个长期开放问题，后续报道称解答涉及数百个开放问题，两种表述不一致。目前数学界对研究伦理和成果致谢方式仍存在激烈争论，事件仍在持续发展中。
AI 根据报道生成 · 21 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- Latent SpaceLatent Space AINews：OpenAI 内部模型发布 722 篇数学论文，平均每个结果仅用约 3 小时 ChatGPT Pro 算力
Latent Space AINews 汇总 OpenAI 公开内部前沿模型的 722 篇数学手稿，含 Quasi-Riemann Hypothesis 等结果，来自约 4,000 个问题评估，平均每个结果约 3 小时 ChatGPT Pro 思考算力，模型本身未发布。
- The Verge · AIOpenAI 发布 722 篇数学论文手稿，含数百个开放问题解答
OpenAI 通过 GitHub 仓库发布一批 722 篇数学论文手稿，涵盖 372 个结果族，据独立顾问组织 AGMAI 称包含对数百个长期开放问题的解答。手稿附有模型推理摘要、算力估计等细节，OpenAI 称平均每个结果约相当于 3 小时 ChatGPT Pro 思考量；此前该未发布前沿模型曾在 9 月宣布解决 100 多个长期开放问题，数学界对研究伦理和成果致谢方式仍存在激烈争论。
- OpenAI NewsOpenAI 公布内部前沿模型在数学开放问题上的进展并开源 Lean 证明形式化
OpenAI 公布其内部前沿模型在数学开放问题上的新结果。相关 Lean 证明形式化和研究细节已发布在 GitHub 上。
本事件热度走势
当前热度 15·可比范围峰值 16（10月7日 09:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。