OpenAI確認下一代模型Astra存在 以2000美元算力成本破解十項數學未解難題

作者：潘凌飛；來源：華爾街見聞

OpenAI正準備推出一個名為"Astra"的全新模型家族，其核心能力在於驅動多個AI智能體長期協同運作以解決高難度問題。這一進展標誌着該公司在通用人工智慧路線上邁出實質性一步，同時也將成為川普政府新版AI監管框架落地的首批試驗案例。

科技媒體The Information援引三位知情人士透露，OpenAI首席執行官Sam Altman本周親赴華盛頓特區，向政策制定者和監管機構演示了Astra模型。OpenAI重點展示了該模型讓多個智能體協同工作、長時間處理複雜任務的能力，應用場景涵蓋項目管理乃至高階數學難題求解。

與此同時，OpenAI發布了一份報告（報告下載地址點這裡），詳述其最先進AI如何成功解決了十道此前從未被攻克的數學難題。這批問題橫跨高維幾何、編碼理論、群論、量子複雜性及極值組合學等多個前沿領域，每道題的學術積壓時間均超過十年，而完成全部求解的算力成本僅約2000美元。

清華姚班畢業生、今年1月開始進入OpenAI工作的Lijie Chen今天在其社交媒體上發言，證實了這10個證明是由其旗艦模型Astra所做。

Astra定位：全新模型家族，發布時間未定

據上述知情人士介紹，Astra將作為一個獨立的模型類別存在，與OpenAI現有的Sol、Terra和Luna並列。目前尚不清楚OpenAI計劃何時正式發布Astra，公司內部也尚未決定該模型將被標記為GPT-6，還是GPT-5系列中的一個子版本（如GPT-5.7）。

儘管相關模型已進入測試階段，其正式發布節奏將受到外部因素制約。據一位知情人士表示，Astra系列模型預計將成為首批須經川普政府新版AI框架審查的產品——該框架要求AI公司在向公眾發布模型前，須事先向聯邦政府提交備案。川普政府為該框架設定的最終期限為本周末。

十項數學突破：AI首次系統性攻克前沿未解難題

OpenAI公布的報告顯示，Astra模型在數學和理論計算機科學領域取得了十項重大突破，涵蓋高維球體堆積密度上限、二進制與球面碼界限提升、非純索菲群存在性證明、康涅斯剛性猜想的推翻、算術電路複雜性新下界、量子平行重複定理、最近向量問題的多項式因子近似難度證明、埃爾哈特體積猜想、多色拉姆齊數的超指數下界，以及極值數猜想等。其中多項成果直接解決了數學家保羅·埃爾德什留下的經典公開問題。

在研究流程上，Astra模型負責生成數學論證，人類研究員藉助同一模型協助整理論文草稿，隨後再將論證轉化為Lean代碼進行形式化驗證。OpenAI強調，上述十項突破中所有數學論證均由AI系統生成，人類的職責在於協助準備手稿、完成形式化驗證，並對最終結果的正確性承擔責任。

學術影響與歸屬爭議

這並非OpenAI首次在數學領域取得突破性成果。今年5月，OpenAI在評估一個未發布模型時，已令AI成功推翻了埃爾德什單位距離猜想，此後學術界隨即跟進發表了多篇相關論文。

隨著AI系統在科研中扮演愈發核心的角色，成果歸屬問題也引發關注。OpenAI表示，尊重並理解萊頓人工智慧與數學宣言簽署者們的擔憂，並明確指出，若將完全由AI生成的證明標記為人類作品，既扭曲了AI系統的貢獻，也模糊了人類智識工作的本質邊界。

值得注意的是，OpenAI近期還推出了面向學術研究人員的ChatGPT專項計劃，為十萬名科學家和數學家提供免費訪問最強模型的權限，並在模型開發過程中持續以開放性研究問題作為測試基準。

來源：金色財經

發佈者對本文章的內容承擔全部責任
在投資加密貨幣前，請務必深入研究，理解相關風險，並謹慎評估自己的風險承受能力。不要因為短期高回報的誘惑而忽視潛在的重大損失。