OpenAI公开前沿模型数学成果，含722篇手稿与Lean证明
先了解这件事
2026年10月7日，OpenAI在GitHub一次性开源数学研究仓库，公开由未发布的内部前沿模型生成的722篇数学手稿与Lean形式化证明，按372个结果家族分类。仓库附带10份模型推理摘要与尝试统计；平均每个结果消耗约相当于ChatGPT Pro思考三小时的算力，评估过程共向模型提出约4000道题目。部分成果涉及Riemann zeta函数Re(s)>11/12无零点区域、CM阿贝尔簇上的Hodge猜想等方向。同日，OpenAI表示正与高等研究院独立顾问组协商如何负责任地发布该模型，并计划资助相关学术活动。后续The Verge报道指出，该批手稿对"数百个"长期未解决的开放数学问题给出了解法。
AI 根据报道生成 · 24 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The Verge · AIOpenAI 发布 722 篇数学论文稿，涵盖数百个开放问题解法
OpenAI 在 GitHub 一次性发布 722 篇数学论文稿，涵盖 372 个结果族，包含对"数百"个长期未解决开放数学问题的解答，全部由一款尚未发布的 frontier 模型生成。
- Hacker NewsOpenAI 开源数学研究仓库，含 722 篇模型手稿与 Lean 形式化证明
OpenAI 在 GitHub 开源数学研究仓库，收录 722 篇由未发布内部模型生成的数学手稿与证明成果，按 372 个家族分类。平均每个结果使用约 3 小时 ChatGPT Pro 思考算力，评估过程共向模型提出约 4000 道题目；部分成果附带 Lean 形式化证明，涵盖 Riemann zeta 函数 Re(s)>11/12 无零点区域、CM 阿贝尔簇上的 Hodge 猜想等方向。
- Hacker NewsOpenAI 公开内部前沿模型数学成果与 Lean 形式化证明
OpenAI 发布由内部前沿模型产生的一系列数学结果，包括论文与 Lean 形式化证明，存放在 GitHub 仓库中。平均每个结果消耗约相当于 ChatGPT Pro 思考三小时的算力，并附带 10 份模型推理摘要与尝试统计。OpenAI 表示正与高等研究院的独立顾问组协商如何负责任地发布该模型，并计划资助相关学术活动。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。