所屬事件：OpenAI 公開內部模型 722 篇數學手稿，引學界震動（9 個來源 · 24 則報導）
2026 年 10 月 6 日，OpenAI 在 GitHub 倉庫 openai/math 公開一批由其內部未發布前沿模型產出的數學成果，模型名稱與提示詞均未披露。倉庫收錄 722 篇手稿，歸入 372 個成果族，覆蓋數論、代數幾何、理論計算機等 17 個方向。據 OpenAI 說明，這批結果來自對約 4000 個開… 看完整事件
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
以 722 篇手稿、42% 形式化驗證率和約 3 小時/題的算力數字，首次量化內部未發布模型的數學產出規模，對關注 AI 科研能力邊界與學術評審機制的人有直接參考價值。
原標題：OpenAI搅乱数学界！科研项目没了，数学家遭毁灭性打击，学界还要数年消化
閱讀原文
| 評分 | 92 / 90（平均 91，門檻 65） |
|---|---|
| 狀態 | 精選 |