標題：OpenAI 一口氣放出 722 篇數學論文：AI 解題，數學界炸鍋 欄目：tech 草稿：
2026-10-07
OpenAI 10 月 6 日在一個公開 GitHub 倉庫發佈了 722 篇數學手稿，歸爲 372 個相關結果家族。據稱這些結果由 OpenAI 一個未發佈的內部 AI 模型生成：模型在評估期間共接觸了約 4000 道數學題，平均每個結果只花了相當於 ChatGPT Pro 約 3 小時的"思考"算力。部分證明附帶了 Lean 語言的形式化版本——Lean 能讓計算機逐行檢查證明是否成立，但並非所有結果都有。《紐約時報》稱，這次發佈讓本就動盪的數學界"進一步炸鍋"。
據報道，最受矚目的結果包括一個"準黎曼猜想"證明：在實部大於 7/8 的區域建立狄利克雷 L 函數的零點自由區、消除朗道-西格爾零點，據稱已通過 Lean 形式化驗證。其他亮點還有無條件證明半定規劃閾值的 NP 難性、CM 阿貝爾簇的有理霍奇猜想、對稱與非對稱馬勒猜想等。多倫多大學數學家丹尼爾·利特表示，如果數學家想要答案，沒理由讓公司"對我們保密"；羅格斯大學的亞歷克斯·康託羅維奇稱其中一個結果"瘋狂"，人類做出它"會立刻拿菲爾茲獎"。
爭議的核心是透明度。9 月 29 日，設在普林斯頓高等研究院的"數學與人工智能諮詢組"發佈建議：要求 AI 實驗室停止在專有模型上測試前沿數學題；對提問者自己都還沒理解的結果，應公佈模型名稱、提示詞、推理摘要和算力成本；不要把數學成果當作模型營銷。OpenAI 回應稱認真對待這些準則，但不受其約束：它公佈了平均算力等統計數據和 10 個結果的推理摘要，但沒有公開提示詞，也沒有點名模型。《華爾街日報》報道，消息傳出前幾天，數學家們正忙着搶先發表自己的 AI 輔助成果，生怕被"截胡"。
arXiv 上的一份審計回顧了 OpenAI 8 月 1 日發佈的前 10 個結果：在已審查的範圍內未發現主要結果有實質性數學錯誤，但審查深度不一，且不覆蓋這次的新手稿。關鍵提醒來自學界共識：AI 公司發佈證明，不等於數學定理成立——必須經受領域數學家的審查。OpenAI 自己也表示不打算申領千禧年大獎。接下來數學界的任務是逐一驗證這 722 篇手稿；如果站得住腳，是里程碑，如果站不住，是警示——無論哪種，數學研究的方式都已經變了。
來源：The New York Times、The Wall Street Journal、The Verge、Scientific American、Interesting Engineering、AI Stock Wire、CNBC-TV18