OpenAI大規模數學論文發布引發學術數學家職業恐慌

2026年10月6日晚上，根據技術媒體Unite.AI報導，OpenAI公開了一個包含722份數學手稿的存儲庫，分為372個問題族群，由一個未發布的內部模型生成。該公司表示，它共向該系統提出了大約4,000個開放問題，但只發表了它認為值得發布的子集，涵蓋代數、數論、拓撲、理論計算機科學和數學邏輯。

OpenAI發布了什麼

Unite.AI報導稱，內部模型的訓練始於2026年8月28日，評估於9月1日啟動。據報道，該模型在9月5日左右產生了一份Lean格式化的證明，解決了納維-斯托克斯奇點問題——這是克雷數學研究所七個千禧年大獎問題之一——OpenAI於9月8日公開宣布了這一結果。該公司表示不會尋求相關的100萬美元獎金。《財富》雜誌報導稱，OpenAI還在10月6日的批次中聲稱在其他三個千禧年大獎問題上取得部分進展，但未完全解決。

並非每份手稿都經過機器驗證。Unite.AI指出，許多但並非所有論文都包含Lean證明助手中的形式化，它可以自動檢查每一個邏輯步驟；未形式化的結果有更高的隱藏錯誤風險。《財富》雜誌報導稱，到10月8日為止，OpenAI已經在發現錯誤後至少撤回了三個已發表的解決方案。

一位菲爾茲獎得主說他哭了

這次發布對一些研究人員造成了個人影響。法國媒體SenePlus報導稱，因在統計物理學相位轉變工作中獲得2022年菲爾茲獎的雨果·杜米尼爾-科潘發現，他自己的16個開放研究問題是OpenAI聲稱已解決的問題之一，他說該公司實際上已經終止了那條研究路線。他說在10月6日星期二夜間至10月7日期間他哭泣，甚至驚醒了他的女兒。

根據SenePlus報導，杜米尼爾-科潘在10月8日由法國數學學會組織的視頻會議上辯稱，研究人員的目標不僅是證明定理，還要為其他人類產生理解。他表示最擔心早期職業數學家，他擔心他們會受到影響最大，因為如果數學家開始因競爭壓力而隱瞞工作，同事之間非正式的流通思想和部分結果的文化就會崩潰。

數學家的反擊

這次發布促使人類數學協會（AHM）發表了一份公開聲明，該組織的通訊工作小組於10月7日將其作為客座文章發表在數學家陶哲軒的博客上。聲明表示，數學家沒有要求這部分工作，OpenAI無視了來自數學與人工智能諮詢小組的先前指導，該獨立機構為AI公司應如何測試和發表數學聲稱提供建議，根據AHM聲明。聲明將一次性發布700多個文件描述為反映OpenAI資源的規模，而不是仔細的學術審查。

《財富》雜誌報導稱，陶哲軒在Mastodon上寫道，這一事件標誌著他所謂的「數學1.0」時代的結束，他辯稱問題越來越多地被對該領域本身沒有興趣的AI用戶解決，並且該學科需要更看重對知識的闡述和社區建設，而不僅僅是問題解決。紐約大學數學家特里斯坦·巴克馬斯特曾早前對納維-斯托克斯工作提出關注，他向《紐約時報》表示（引自《財富》雜誌），他懷疑一些已發表的結果將其他數學家的先前工作完成，但沒有適當的署名。

哥倫比亞大學數學家彼得·沃伊特在他的博客《不僅僅是錯誤》上寫道，他將這次發布描述為組織不善的，並說OpenAI忽視了諮詢小組的建議，然後將整理結果的責任推給了數學社區本身。沃伊特將這些論文背後的系統確定為他稱之為「Astra」的模型。他的文章評論者表示，許多AI生成的證明在技術上很密集，但提供很少的數學直覺或新的理論理解，即使是正確的。

不是新的爭端

OpenAI與數學家之間的摩擦早於10月發布。TechCrunch報導稱，2025年10月，OpenAI副總裁凱文·韋爾發布了——後來刪除了——一個聲稱GPT-5找到了10個以前未解決的厄爾多斯問題的解決方案並在其他11個問題上取得進展。維護公開厄爾多斯問題數據庫的托馬斯·布魯姆表示，這個表述具有誤導性，他解釋說在他的網站上標記為「開放」的問題只是表示他不知道已發表的解決方案，並不意味著不存在任何解決方案；他說GPT-5定位了他錯過的現有引用。OpenAI研究人員塞巴斯蒂安·布貝克後來承認該模型僅在已發表的文獻中定位了現有解決方案，而不是發現新的解決方案，儘管他說這仍然有價值。

支持者說該領域可以適應

並非每位數學家都將這次發布視為危機。《財富》雜誌引用多倫多大學數學家丹·利特的話說，他認為這一發展對數學總體上是積極的，但他警告說社會需要繼續為人類數學家提供資金，以便該領域不會因此而失去制度支持。利特還指出，OpenAI沒有聘用足夠的數學家來將其所有結果寫成傳統論文，他表示這有助於解釋（雖然不是為之辯護）發布的規模和速度。

• 在372個問題族群中，722份AI生成的手稿於2026年10月6日發布（Unite.AI）。
• OpenAI在發布選定的子集之前，在大約4,000個開放問題上測試了該模型（Unite.AI）。
• 在發現錯誤後，至少三項已發表的結果於10月8日撤回（《財富》雜誌）。
• 菲爾茲獎得主雨果·杜米尼爾-科潘表示，他自己的16個開放問題是已解決問題中的一部分（SenePlus）。
• 人類數學協會敦促數學家停止與OpenAI合作（陶哲軒的博客）。