所屬事件：OpenAI 公開 722 篇內部模型數學手稿，隨後撤回 3 篇（8 個來源 · 15 則報導）
2026 年 10 月 6 日，OpenAI 以 GitHub 倉庫 openai/math 公開一批由尚未發布的內部前沿模型產出的數學成果，10 月 8 日又撤回其中 3 篇。倉庫初始收錄 722 篇手稿，歸入 372 個成果族，均出自同一個未公開模型，來自約 4000 個研究問題的評估，平均每個結果消耗約相當於 3… 看完整事件
OpenAI 撤回 3 篇數學手稿，因一個正負號寫錯，另修訂 14 篇
OpenAI 從 openai/math 倉庫撤回了 3 篇與霍奇猜想相關的數學手稿，起因是第一篇在一處關鍵論證中把幾何操作的符號寫成 +1，按論文自身約定應為 -1，導致本應歸零的計數不為零，另兩篇因沿用該構造被一併撤回。倉庫手稿總數從 722 篇降至 719 篇，同時修訂 14 篇、13 篇更新引用，並新增 6 項 Lean 形式化，目前 300 篇主結果完成形式化，約佔 719 篇的 42%。OpenAI 強調撤回的是證明而非數學命題本身，原稿保留可查；
首份官方勘誤披露 722 篇手稿公開兩天即撤回 3 篇、修訂 14 篇，並給出 42% 主結果形式化率，關注 AI 生成數學證明可信度的人可據此判斷其實際把關程度。
原標題：刚刚，OpenAI撤回了三篇AI数学论文，竟是因为符号写错了
閱讀原文
| 評分 | 78 / 70（平均 74，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
Hacker News front page● 精選10/7 15:42AI 評分95
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。