OpenAI开源内部前沿模型722篇数学手稿
先了解这件事
10月7日，OpenAI通过GitHub代码库（math）公开其尚未发布的内部前沿模型生成的数学成果，附带论文修订与引用规范协议，成果包含可由计算机自动校验的Lean形式化证明。仓库含10份模型推理摘要与问题尝试统计，单份成果平均消耗算力约相当于ChatGPT Pro三小时推理。早先各报道仅称公开“一系列”成果，未披露数量；后续报道称共722篇数学手稿、归为372组结果、覆盖17个方向，涉及准黎曼猜想、霍奇猜想、BSD猜想三道千禧难题。华尔街见闻后续报道称，该模型给出准黎曼猜想的证明并附Lean形式化验证，且未经同行评审即开源；虎嗅则称准黎曼猜想取得7/8无零点区域进展，重点课题还包括唯一博弈猜想、霍奇猜想特殊情形与自由群因子问题。FirstSquawk快讯称OpenAI宣布将负责任地发布该前沿模型；OpenAI还计划资助围绕AI生成数学成果的研讨会、会议和专项项目。量子位报道提到其顾问组声明相关成果不代表认可。
AI 根据报道生成 · 3 小时前更新
事件进展
2 个进展
- 10月7日 09:05 · 3 篇报道OpenAI公开722篇AI生成数学研究手稿华尔街见闻：OpenAI 一夜攻克 722 个数学难题，准黎曼猜想已被证明
- 10月7日 06:23 · 5 篇报道OpenAI发布前沿模型生成的数学成果格隆汇：OpenAI公开前沿大模型数学研究成果，含Lean形式化证明
报道时间线
沿着报道，了解事件的不同侧面。
- 虎嗅精选OpenAI公开722篇AI数学手稿，准黎曼猜想取得7/8无零点区域进展
OpenAI将一款未发布内部模型产出的722篇数学手稿打包发布在GitHub（https://github.com/openai/math），归为372组成果，重点课题涉及准黎曼猜想、唯一博弈猜想、霍奇猜想的特殊情形与自由群因子问题。
- 华尔街见闻精选OpenAI 一夜攻克 722 个数学难题，准黎曼猜想已被证明
OpenAI 未经同行评审，直接在 GitHub 开源库 math 发布 722 篇数学手稿，覆盖 372 个此前悬而未决的顶级难题家族，其未发布的内部模型给出了准黎曼猜想的证明并附 Lean 形式化验证。
- 36氪快讯OpenAI公开前沿大模型数学研究成果，含可机验的Lean形式化证明
OpenAI通过GitHub代码库公开其内部前沿大模型生成的一系列全新数学研究成果，其中包含Lean语言形式化证明，数学证明可直接由计算机完成校验。发布同时附带论文修订与引用的规范协议，单份成果平均消耗的算力约等于ChatGPT Pro三小时的深度推理时长。
- 量子位OpenAI一夜公开722篇数学手稿，覆盖三道千禧难题，顾问组声明不代表认可
OpenAI 一口气公开 722 篇数学手稿，全部出自一个尚未发布的内部模型，归为 372 组结果，覆盖 17 个方向，涉及准黎曼猜想、霍奇猜想、BSD 猜想三道千禧难题，论文、源码与部分 Lean 证明已传上 GitHub。
- FirstSquawk · 突发快讯OpenAI称将负责任地发布产出新数学结果的内部前沿模型
OpenAI宣布将负责任地发布产出新数学结果的内部前沿模型，并已公布由该模型产出的一批成果。该表态为一则简短快讯，未披露模型名称、具体发布时点以及数学结果的细节。
- 格隆汇精选OpenAI公开前沿大模型数学研究成果，含Lean形式化证明
OpenAI正通过GitHub代码库公开其内部前沿大模型生成的数学研究成果，同时附带论文修订与引用的规范协议。公开成果包含Lean语言形式化证明，数学证明内容可直接通过计算机完成校验，单份成果平均消耗的算力约等于ChatGPT Pro三小时的深度推理时长。
- 财联社电报OpenAI通过GitHub公开前沿大模型数学研究成果
OpenAI通过GitHub代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含Lean语言形式化证明，可让数学证明直接通过计算机完成校验，单份成果平均消耗的算力约等于ChatGPT Pro三小时的深度推理时长。
- 华尔街见闻·全球快讯OpenAI发布前沿模型生成的数学成果，含Lean形式化证明
OpenAI通过GitHub仓库发布由一款内部前沿模型生成的一系列数学成果，包括用Lean语言完成、可由计算机自动校验的形式化证明，并附论文修订和引用规范。仓库包含10份模型推理摘要和已尝试问题的统计数据，平均每项成果消耗的计算量约相当于ChatGPT Pro三小时的推理时间。OpenAI计划资助围绕AI生成数学成果的研讨会、会议和专项项目，并表示正致力于以负责任的方式发布生成这些成果的前沿模型。
本事件热度走势
当前热度 51·可比范围峰值 56（10月7日 11:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。