OpenAI新模型Astra曝光！攻克10道數學難題、多AI代理協作挑戰AGI

OpenAI正開發代號「Astra」的全新模型家族，主打多個人工智慧（AI）代理長時間協同運作、共同解決高難度問題的能力。這項技術若順利問世，將是該公司邁向通用人工智慧（AGI）的重要里程碑，同時也可能成為美國川普政府新版AI監管框架上路後，第一批接受審查的產品。

根據《The Information》引述三名知情人士報導，OpenAI執行長奧特曼（Sam Altman）本週親自前往華盛頓特區，向政策制定者與監管官員展示Astra的實際運作。

簡報中特別強調該模型能調度多個智能體長時間分工合作，處理從專案管理到高階數學證明等複雜任務。

與此同時，OpenAI也發布一份報告，公布其最先進AI系統成功攻克十道長年懸而未解的數學難題，範圍橫跨高維幾何、程式設計理論、群論、量子複雜性與極值組合學等尖端領域。

這些問題各自懸置學界超過十年，而OpenAI僅耗費約兩千美元的運算成本便完成全部求解。

今年一月加入OpenAI的研究員Lijie Chen在社群平台上證實，這十道題目的證明正是出自旗艦模型Astra之手。

根據知情人士說法，Astra將自成一個獨立的模型類別，與OpenAI現有的Sol、Terra、Luna系列並列。

目前公司內部尚未拍板該模型上市時間，也還沒決定其命名方式，究竟會掛牌為外界期待已久的GPT-6，或僅作為GPT-5系列的子版本（如GPT-5.7）發布，仍是未知數。

值得留意的是，儘管相關模型已進入測試階段，其公開發布腳步恐將受制於監管環境。知情人士透露，Astra很可能成為首批必須通過川普政府新版AI框架審查的產品。

依該框架規定，AI業者須在模型正式對外發布前，先向聯邦政府提交備案。川普政府為此設下的最後期限，正落在本週末。

依據OpenAI公布的內容，Astra在數學與理論電腦科學領域一舉拿下十項重大成果，包括高維球體堆積密度上限、二進制與球面碼界限提升、非純索菲群存在性證明、康涅斯剛性猜想的推翻、算術電路複雜性新下界、量子平行重複定理、最近向量問題的多項式因子近似難度證明、埃爾哈特體積猜想、多色拉姆齊數的超指數下界，以及極值數猜想等極值數猜想等。

其中不少成果直接回應了已故數學家Paul Erdős留下的經典開放問題。

在具體研究流程上，OpenAI說明由Astra模型負責產出數學論證，人類研究人員則借助同一模型協助整理論文草稿，最後再將論證轉換為Lean程式碼進行形式化驗證。

該公司特別強調，十項突破的數學論證全數由AI系統生成，人類研究者的角色僅限於協助撰寫手稿、進行形式驗證，並對最終結果的正確性負責。

這並非OpenAI首度在數學領域交出成績單。今年五月，該公司在測試一款尚未發布的模型時，已讓AI成功推翻了「單位距離問題」，隨後學術界也陸續發表相關後續研究。

隨著AI系統在科學研究中扮演的角色日益吃重，成果歸屬爭議也隨之浮上檯面。對此OpenAI表示，理解並尊重「萊頓人工智慧與數學宣言」（Leiden Manifesto on AI and mathematics）連署學者的疑慮，同時也強調，若將完全由AI生成的證明歸功於人類，不僅扭曲了AI系統的實際貢獻，也模糊了人類智識工作本身的界線。

值得一提的是，OpenAI近期同步推出面向學術界的ChatGPT專案，向十萬名科學家與數學家開放免費使用其最強模型，並持續以開放性數學難題作為模型開發過程中的測試指標。