所屬事件：OpenAI 公開未發布模型產出的 722 篇數學手稿（8 個來源 · 11 則報導）
2026 年 10 月 6 日，OpenAI 在 GitHub 倉庫 openai/math 公開了由其內部一個尚未發布的前沿模型產出的 722 篇數學手稿，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向，並同步給出 10 份模型推理摘要。據 OpenAI 說明，這批結果來自對約 40… 看完整事件
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。
一次性公開 722 篇由未發布內部模型產出的數學手稿，附算力估算與六成三的 Lean 形式化比例，為觀察前沿模型的數學產出能力與學界發布規範之爭提供了具體樣本。
原標題：突发！OpenAI一次放出722篇数学成果，准黎曼猜想、4D挂谷都在列
閱讀原文
| 評分 | 95 / 94（平均 94，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
The Verge AI10/5 20:28AI 評分52
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。