OpenAI 宣布其內部未發布的模型 Astra 解決了 10 個長期未解的數學問題，部分問題困擾學界數十年，橫跨球體堆疊、糾錯碼與後量子密碼等領域。 該公司於 2026 年 8 月初公布這批成果，並釋出超過 250 頁論文與 60 頁推理過程說明，所有證明均以 Lean 證明驗證軟體認證。多位受訪數學家表示成果似乎「有真實分量」，但公告初期因淡化人類數學家的貢獻而引發爭議，官方其後已修改措辭。

OpenAI 的內部模型 Astra 解決了 10 個長期未解的數學問題，涵蓋球體堆疊、糾錯碼、網絡結構與後量子密碼等領域，部分問題困擾學界數十年。所有證明以 Lean 驗證，並發布超過 250 頁論文，被多位數學家認為有真實分量。

OpenAI 解決了哪些數學問題？

Astra 解決的問題包括高維空間球體堆疊（關乎數據編碼效率）、糾錯碼極限、複雜網絡結構規律、量子博弈論、高維網格搜索，以及備受矚目的 non-sofic 群存在性問題。最後一項困擾學界數十年，證明涉及後量子密碼安全技術。

Astra 的成果涵蓋從高度抽象到具實用價值的多個數學領域。其中一個突破涉及球體在三維以上空間中能有多緊密地堆疊，這與數據編碼和傳輸效率直接相關；另一個成果推進了糾錯碼的極限研究，該技術用於從嘈雜訊號中還原資訊。

最受矚目的結果是 non-sofic 群的存在性證明。non-sofic 群是無法用有限結構近似的無限數學結構，其存在與否是困擾學界數十年的開放問題。這項證明與後量子密碼學中使用的高維網格搜索技術相關，具有潛在的網絡安全應用價值。

Astra 是什麼模型？如何證明成果？

Astra 是 OpenAI 未對外發布的「下一代主要模型」內部版本，專門用於數學推理。OpenAI 以 Lean 證明驗證軟體認證每個結果，並發布超過 250 頁論文與 60 頁推理過程說明，讓學界可以逐步檢驗證明是否成立。

Astra 是 OpenAI 內部開發、尚未對外發布的下一代主要模型的內部版本，其數學推理能力被用於攻擊這些長期未解的問題。OpenAI 表示 Astra 並非簡單搜尋已知結果，而是透過組合既有定理、方法與工具，以新方式突破問題瓶頸。

為了讓成果經得起檢驗，OpenAI 發布超過 250 頁的論文詳細說明每個證明，另附 60 頁文件描述「想法如何成形」的推理過程，並以 Lean 軟體逐一認證。Lean 是專門驗證數學證明的開源軟體，曾用於確認數學家 Peter Scholze 的重大證明，其認證被視為嚴謹性的重要背書。

數學界如何評價這批成果？

數學家普遍承認成果具有真實分量，但同時交織興奮與憂慮。牛津大學 Fields 獎得主 James Maynard 表示過去一年都在「靈魂探索」；也有學者形容過去六個月是「相變」，AI 正持續產出真正有意義的數學進展。

牛津大學教授、Fields 獎得主 James Maynard 接受訪問時表示，他過去一年花了很多時間「靈魂探索」，思考這個傳統上步調緩慢的學科要如何適應 AI。多位受訪數學家對 AI 加速數學發現的前景感到興奮，但也對投身數學研究的人類學者未來感到憂慮。

倫敦數學科學研究所研究員 Yang-Hui He 則形容，過去六個月出現了一種「相變」，AI 開始持續產出真正有分量的數學進展。他表示這 10 個問題中，能解決任何一個通常已足以在學術界獲得教職，可見其難度與分量。

為何公告引發爭議？

OpenAI 最初公告稱這些問題「至少十年沒有進展」，但數學界指出 non-sofic 群結果建立在 Andreas Thom 與 Gábor Kun 近年研究的基礎上，認為貢獻被淡化。OpenAI 其後修改措辭，改為「解決或大幅推進長期開放問題」，並承認依賴重要前期研究。

爭議圍繞成果的功勞分配。劍橋大學數學家 Francesco Fournier-Facio 與匈牙利 Alfréd Rényi 數學研究所研究員 Gábor Kun 指出，OpenAI 最初的公告文字「對主結果至少十年沒有進展」的說法，淡化了 Andreas Thom 與 Gábor Kun 近年奠基性工作的貢獻，Kun 形容原文措辭「相當草率」。

OpenAI 發言人其後證實公告已更新，改為「解決或大幅推進長期開放問題」，並表示 sofic 群證明依賴較近期發表的重要數學工作，希望確保這些貢獻獲得適當承認。OpenAI 研究員亦在電郵中向 Kun 承認，其 2016 與 2019 年的研究是論證的關鍵基礎。

這次突破的意義是什麼？

這是 AI 在數學研究領域影響力的最新里程碑。今年 5 月 OpenAI 模型曾破解數學家 Erdős 遺留近一世紀的猜想，7 月 Anthropic 的 Claude 模型亦反證了 87 年歷史的 Jacobian 猜想。AI 正在從工具角色走向數學發現的共同參與者。

這批成果是 AI 進軍數學研究的最新里程碑。今年 5 月，OpenAI 一個未命名內部模型破解了數學家 Paul Erdős 遺留近一世紀的猜想，當時已令數學界震驚；7 月，哈佛大學數學家報告 Anthropic 的 Claude 模型以一個小型反例推翻困擾學界 87 年的 Jacobian 猜想。

兩件事疊加，顯示 AI 模型已從輔助計算工具，進化為能夠獨立產出原創數學證明的參與者。對開發者與研究人員而言，這意味著 AI 的推理能力邊界正在持續擴展，數學驗證與 AI 協作將成為學術研究的新常態。

出處連結有哪些？

本篇新聞的原始報導來自 The Verge，標題為 The AI takeover of mathematics has begun，發布於 2026 年 8 月 11 日。OpenAI 的原始公告見 openai.com 的 Ten advances in mathematics，證明論文與推理過程文件亦已公開。

本篇新聞依據 The Verge 於 2026 年 8 月 11 日的報導撰寫，原文標題為 The AI takeover of mathematics has begun。OpenAI 的原始公告「Ten advances in mathematics」發布於其官方網站，詳細證明論文與推理過程說明文件亦已公開供學界檢驗。

總結：AI 與數學的關係將如何演變？

AI 正從數學工具走向共同發現者，但功勞歸屬、驗證流程與人類學者定位等問題仍未解決。OpenAI 的成果顯示 AI 推理能力已達新高度，同時也提醒行業需要更透明的貢獻標記機制，讓 AI 與人類研究者的協作可持續發展。

OpenAI 的 Astra 成果與隨後引發的貢獻爭議，共同勾勒出 AI 數學研究時代的輪廓：能力快速擴展，但制度與規範仍在追趕。對於研究機構與開發者而言，建立清晰的 AI 貢獻標記與驗證流程，將是 AI 深度參與科學發現後無可迴避的課題。