OpenAI Confirms Existence of Next-Generation Model Astra, Solves Ten Unsolved Math Problems with $2,000 in Compute Costs, Demonstrates to Regulators under Positive Economics Framework

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 專項計劃，為十萬名科學家和數學家提供免費訪問最強模型的權限，並在模型開發過程中持續以開放性研究問題作為測試基準。