OpenAI公開722份數學手稿，含擬黎曼猜想證明
nashnova research
OpenAI一次過在GitHub公開722份數學手稿，涵蓋擬黎曼猜想、霍奇猜想等頂級難題，AI產出速度已遠超人類驗證能力，數學界從震驚轉向公開對抗。
722份手稿一次倒出來，規模有多誇張？
2026年10月7日，OpenAI在GitHub倉庫一次過公開722份數學手稿，覆蓋372個問題家族，涉及數十年未解的頂級難題。
每道題平均消耗3小時ChatGPT Pro推理算力，總共向模型提出約4000個問題，絕大多數成果來自同一個未發佈的內部模型。
這意味著→ 這不是「偶爾解出一道難題」，而是工業化批量產出數學證明——8月放10道，9月放100多道，10月直接倒722份。
擬黎曼猜想和霍奇猜想，到底突破了甚麼？
在數論領域，AI證明所有狄利克雷L-函數（一類用來研究質數分佈規律的數學工具）在實部大於7/8的區域內沒有零點，並徹底排除了朗道-西格爾零點。
簡單來說＝ 黎曼猜想要求證明零點全部落在「實部等於1/2」這條線上，AI還未走到那一步，但把「確認沒有零點」的範圍推進到了固定常數界，被稱為解析數論半個世紀來的重大進展。
在代數幾何領域，AI證明了複數域上特定條件下的霍奇猜想，還順帶證明了有限域上所有阿貝爾簇的泰特猜想。
在計算複雜性領域，AI不依賴「唯一遊戲猜想」這一前提，直接基於標準P≠NP假設，封閉了理論計算機科學近二十年的核心開放問題。
數學家為何從支持變成公開對抗？
8月OpenAI曾召集約40位數學家閉門開會，暗示已解決數百個難題，並給出過「不會一次全部放出」的保證——10月直接食言。
西北大學數學家布里納·克拉表示，數學家建議走正式論文發表路徑，「這些建議顯然被忽略了」。紐約大學訪問教授內斯托爾·吉倫直接將AI公司比作「黑幫」。
這反映出 矛盾的核心不是AI能不能做數學，而是誰有權決定知識的發佈節奏——科學共同體的同行評審，抑或科技公司的產品發佈日程。
陶哲軒所講的「證明消化不良」是甚麼意思？
菲爾茲獎得主陶哲軒聯合25位菲爾茲獎得主發表公開聲明，炮轟AI公司把數學當基準測試刷。
他提出一個證明的完整生命週期有五步：提出解答 → 機器驗證 → 翻譯成人話 → 同行消化 → 寫進教科書。AI在前兩步狂飆，後三步進展幾乎為零。
簡單來說＝ 證明寫出來了、機器亦確認邏輯沒錯，但沒有人類數學家真正理解它、將它變成可教授的知識——這就是「消化不良」。
「智能爆炸」從論文走向現實，到了甚麼程度？
9月28日，辛頓、本吉奧、OpenAI首席科學家帕霍茨基等逾20位重量級人物聯合發表論文，標題直接是《如果自動化AI研發引發了智能爆炸怎麼辦？》。
論文披露，截至2026年8月，Anthropic內部AI系統已獨立完成26%的AI研發工作，五個月前這一比例僅為1%。
這意味著→ 數學只是最清晰的窗口——因為證明對就是對、錯就是錯。真正的問題已經不是AI能否超過人類，而是當產出速度遠超驗證速度，誰來確認知識的有效性。
市场有风险，内容仅供研究参考，不构成投资建议。