2026 年 10 月 6 日，OpenAI 在 GitHub 倉庫 openai/math 公開了由其內部一個尚未發布的前沿模型產出的 722 篇數學手稿，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向，並同步給出 10 份模型推理摘要。據 OpenAI 說明，這批結果來自對約 40… 看完整事件
OpenAI 公開 722 篇數學手稿，聲稱攻克多項名題
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽，摘要中出現「證偽」「反例」的成果族約 50 個；約六成附有 Lean 形式化，其餘只能算聲稱，且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
一次性公開 722 篇手稿並逐項標註是否附 Lean 形式化，讓數學界與形式化驗證社群能快速分辨哪些結果經機器檢驗、哪些僅為聲稱，也為關注 AI 科研能力邊界的人提供了可核查的樣本。
原標題：翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题
閱讀原文
| 評分 | 90 / 93（平均 91，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
24 年鑽研 Barnette 猜想者稱它已在 openai/math 被證明
在 Hacker News 關於 openai/math 的討論中，Jake Boggan 稱自己斷續研究了 24 年的 Barnette 猜想似乎已被證明，編號是 problem 180。他早年沉迷圖論，曾搬到布達佩斯跟隨名家學習，期間開始做這個問題，前後投入數千小時，去年夏天還一度以為是自己解出來的。得知結果後，他說不知道該怎麼想，這種感受像聽說前女友突然死於車禍，並猜當晚不少人心情複雜。