AI 工具多語對照

OpenAI 722 篇 AI 數學成果是什麼：官方宣稱、撤回 3 篇與數學家的質疑

更新:2026-10-09|搜尋範圍:2026-09-25 ~ 2026-10-09|查了 en, zh-CN, ja, zh-TW|來源 10 條

一句話結論

OpenAI 在 2026-10-06（美國時間，北京時間 10-07）把 722 篇由未發布內部模型產出的數學手稿放上 GitHub，歸成 372 個成果族群，約 4,000 個問題丟給模型、挑出自認重要的公開。目前只有 162 篇的主結果附 Lean 形式化驗證，隔天就有 3 篇因符號錯誤撤回，所以「722 個難題被解決」是錯誤讀法，較準確的說法是「722 份待外部檢驗的手稿」。

官方說法

OpenAI 的 GitHub 倉庫 openai/math 說明，這批手稿與證明材料出自一個未發布的內部模型；大多數結果走同一套固定流程，平均每個結果約耗費相當於 3 小時 ChatGPT Pro 思考的算力；模型總共被丟了約 4,000 個問題，輸出經過聚合並要求達到一定重要性才公開。[1] 例外是黎曼 zeta 函數的零點自由區域（Re(s) > 11/12 版本另經人工編修）與 CM 阿貝爾簇的霍奇猜想，這兩項沒有走固定流程。[1] 倉庫另釋出 10 個族群的推理摘要。[1][5]

官方自己承認的限制：各結果的驗證階段不同，並非都有 Lean 形式化，「部分未形式化的結果可能有問題」，並承諾盡快修正。[1] 官方更新紀錄（2026-10-07）寫明撤回 3 篇：〈分裂阿貝爾八重簇上 Weil 類的代數性〉〈K3 曲面 Kuga–Satake 對應的代數性〉〈K3 曲面乘積的有理霍奇猜想〉，原因是「一個符號錯誤使穩定化跡消去論證失效」，連帶影響兩篇依賴它的論文；另有 14 篇修訂、13 篇更新引用，並新增 6 項形式化。紀錄寫的形式化比例是頂層結果 300／719，約 42%。[2]

OpenAI 官方頁面（openai.com/index/sharing-ai-progress-in-mathematics/）我這次抓取回 403，沒有讀到原文，以上官方內容來自 GitHub 倉庫本身。[3] OpenAI 還說自己諮詢了普林斯頓高等研究院（IAS）的數學與人工智慧諮詢小組，並計畫資助研討會，協助數學家研讀這些成果。[4]

各語言圈怎麼討論

語言圈找到幾則主要聲音代表來源
en2 篇讀全文，另有 Reddit 與 X 連結未能讀取驚嘆規模，同時要求「拿出憑據」；質疑單一提示說法與未公開提示詞[4][5]
zh-CN3聚焦準黎曼猜想等名題與 25 位菲爾茲獎得主聯名批評；強調 722 不等於 722 個難題[6][7][8]
ja1整理驗證比例僅約 22%，其餘 560 篇待專家確認[9]
zh-TW1僅取得搜尋摘要，原頁 403；重點是 162 篇有 Lean、單一提示說法未獲證實[10]

英文圈：The Decoder 指出，幾乎每個結果來自單一提示、單一代理，少數需要多次嘗試；平均算力約 3 小時 ChatGPT Pro。它也報導 25 位菲爾茲獎得主的公開信，認為解題只是理解的代理指標，大量製造真命題可能破壞領域；Gowers 擔心一二十年內文獻量暴增卻沒有人類社群真正讀懂。[4] Decrypt 引述 MIT 的 Andrew Sutherland：在模型可重現前，單一代理一次解題的說法應視為「未經證實」，「我們該要收據」；IAS 諮詢小組 9 月 29 日曾建議公開模型名稱、提示詞、推理摘要、時間與算力成本，OpenAI 只給了平均算力和 10 份摘要。另一位數學家 Abhishek Saha 則稱這是「數學的大日子」，但認為多數結果屬於傑出進展而非千禧年難題級，準黎曼猜想是可能的例外。[5]

簡中圈：量子位（10-07）列出宣稱的成果，包括 zeta 與 Dirichlet L 函數在實部大於 7/8 的區域無零點、第二份證明給出 11/12 並排除 Siegel 零點、π 的無理性測度為 2（先前最佳約 7.1）、Unique Games 猜想等，並註明霍奇猜想只涵蓋 CM 阿貝爾簇與 K3 乘積，不是完整猜想。[6] 虎嗅整理 Rutgers 教授 Kontorovich 的說法：準黎曼成果若由人類完成「立刻就是一枚菲爾茲獎」，以及 25 位菲爾茲獎得主（陶哲軒為最初聯署者）批評 AI 公司把攻克開放問題當評測目標。[7] 科技日報轉述 IAS 諮詢小組的立場：這只是開端，數學家需要提出自己的問題、發展自己的研究方法。[8] 我另外看到 linux.do、知乎、B 站、機器之心的相關連結（含知乎的撤回 3 篇討論），但都抓不到正文，見「還沒查到的」。

日文圈：hashout.jp 整理 162 篇（約 22%）有 Lean 驗證、其餘 560 篇只有自然語言敘述，並指出「500 個重要未解問題解決 90 個」是社群說法，不是 OpenAI 官方說明；報導預估精查 722 篇要花數個月。[9] 數學 YouTuber 在 X 上說「生在了不得的時代」，屬於情緒反應。[9]

繁中圈：iThome 的報導我抓取回 403，只從搜尋摘要得到 722 篇、372 族群、162 篇有 Lean、Sutherland 的保留；沒有看到繁中個人實測或社群討論，也沒有在摘要中看到撤回或菲爾茲獎字眼。[10]

官方 vs 實際

項目官方說社群/第三方看到來源
篇數722 篇、372 個族群722 不等於 722 個獨立難題，同一族群含主結果、推論、替代證明；撤回後倉庫標 719 篇[1][2][7]
驗證部分有 Lean，未形式化者可能有問題162／722 約 22%（媒體算法）；官方更新紀錄算頂層結果 300／719 約 42%，兩者口徑不同[2][5][9]
單一提示絕大多數走同一流程、平均 3 小時算力Sutherland 稱在模型可重現前屬未經證實；IAS 建議公開的提示詞未公開[1][5]
可靠性會盡快修正問題發布隔天撤回 3 篇（符號錯誤），另修訂 14 篇[2]
學界立場諮詢 IAS 小組小組成員（含 Gowers、Hairer、Witten）說諮詢不代表背書；25 位菲爾茲獎得主聯名批評方向[4][6][7]
模型未發布，研究如何負責任釋出無法由外界重現，連名稱都沒公布[1][5]

適合誰、不適合誰

時間線

還沒查到的

來源

  1. OpenAI 官方 GitHub — openai/math 倉庫 README（未發布內部模型的數學手稿與證明） — https://github.com/openai/math — en
  2. OpenAI 官方 GitHub — 更新紀錄 history.md（撤回 3 篇、修訂與形式化比例） — https://github.com/openai/math/blob/main/history.md — en
  3. OpenAI 官方 — Sharing AI progress in mathematics（抓取 403，未讀正文） — https://openai.com/index/sharing-ai-progress-in-mathematics/ — en
  4. The Decoder — OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up — https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/ — en
  5. Decrypt — OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt, Mathematicians Want Receipts — https://decrypt.co/380366/openai-secret-ai-model-cracked-hundreds-math-problems-one-prompt — en
  6. 量子位 — OpenAI 一次发布 722 篇数学成果及学界反应 — https://www.qbitai.com/2026/10/501749.html — zh-CN
  7. 虎嗅 — OpenAI 发布 722 篇数学手稿与菲尔兹奖得主联名批评 — https://www.huxiu.com/article/4895597.html — zh-CN
  8. 科技日报 — OpenAI 发布 722 篇数学手稿 — https://www.stdaily.com/web/gdxw/2026-10/07/content_592207.html — zh-CN
  9. hashout.jp — OpenAI が数学論文 722 本を公開 — https://hashout.jp/?p=12179 — ja
  10. iThome — OpenAI 722 篇數學手稿報導（原頁 403，僅搜尋摘要） — https://www.ithome.com.tw/news/179471 — zh-TW