OpenAI正準備推出一個名為Astra的全新模型家族，其核心能力在于驅動多個AI智能體長期協同運作以解決高難度問題。這一進展標志著該公司在通用人工智能路線上邁出實質性一步，同時也將成為特朗普政府新版AI監管框架落地的首批試驗案例。
科技媒體The Information透露，OpenAI首席執行官Sam Altman本周親赴華盛頓特區，向政策制定者和監管機構演示了Astra模型。OpenAI重點展示了該模型讓多個智能體協同工作、長時間處理復雜任務的能力，應用場景涵蓋項目管理乃至高階數學難題求解。
OpenAI發布了一份報告，詳述其最先進AI如何成功解決了十道此前從未被攻克的數學難題。這批問題橫跨高維幾何、編碼理論、群論、量子復雜性及極值組合學等多個前沿領域，每道題的學術積壓時間均超過十年，而完成全部求解的算力成本僅約2000美元。
清華姚班畢業生Lijie Chen在其社交媒體上發言，證實這10個證明是由其旗艦模型Astra所做。
知情人士介紹，Astra將作為一個獨立的模型類別存在，與OpenAI現有的Sol、Terra和Luna并列。目前尚不清楚OpenAI計劃何時正式發布Astra，公司內部也尚未決定該模型將被標記為GPT-6，還是GPT-5系列中的一個子版本（如GPT-5.7）。
盡管相關模型已進入測試階段，其正式發布節奏將受到外部因素制約。一位知情人士表示，Astra系列模型預計將成為首批須經特朗普政府新版AI框架審查的產品——該框架要求AI公司在向公眾發布模型前，須事先向聯邦政府提交備案。特朗普政府為該框架設定的最終期限為本周末。
OpenAI公布的報告顯示，Astra模型在數學和理論計算機科學領域取得了十項重大突破，包括高維球體堆積密度上限、二進制與球面碼界限提升、非純索菲群存在性證明、康涅斯剛性猜想的推翻、算術電路復雜性新下界、量子平行重復定理、最近向量問題的多項式因子近似難度證明、埃爾哈特體積猜想、多色拉姆齊數的超指數下界，以及極值數猜想等。其中多項成果直接解決了數學家保羅·埃爾德什留下的經典公開問題。
