新聞熱度趨勢
事件相關快訊
OpenAI AI模型取得數學突破：發佈密碼學、量子計算等10個長期未解問題研究成果
OpenAI 發佈研究成果稱，其下一代 AI 模型 Astra 在數學與理論計算機科學領域取得進展，涉及高維幾何、編碼理論、羣論、量子複雜性、後量子密碼學以及極值組合數學等領域，其公佈的 10 項成果涉及：高維球堆積問題、二進制與球面編碼問題、非 sofic 羣問題、Connes 剛性猜想、算術電路複雜性問題、量子並行重複問題、最近向量問題、Ehrhart 體積猜想、多色 Ramsey 數問題、極值圖論猜想。據介紹，這些成果由內部版本的 Astra 模型完成推導，尋找解決方案所消耗的計算成本約爲 2000 美元（按 Sol API 價格計算）。隨後，人類研究人員利用同一模型協助整理成論文，並通過 Lean 形式化證明系統生成可驗證證明證書。
OpenAI 未發佈 Astra 模型攻克 10 項數學難題
根據新披露信息，該未發佈模型（或爲 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 羣、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。
The Information：奧爾特曼展示 Astra AI 模型，主打長週期任務與多智能體協作
據 The Information 報道，OpenAI CEO Sam Altman 本週向美國參議員展示全新 Astra AI 模型。該模型支持多個 AI 智能體協同執行復雜任務，重點提升長週期任務處理能力。
相關新聞
OpenAI AI模型取得數學突破：發佈密碼學、量子計算等10個長期未解問題研究成果
OpenAI 發佈研究成果稱，其下一代 AI 模型 Astra 在數學與理論計算機科學領域取得進展，涉及高維幾何、編碼理論、羣論、量子複雜性、後量子密碼學以及極值組合數學等領域，其公佈的 10 項成果涉及：高維球堆積問題、二進制與球面編碼問題、非 sofic 羣問題、Connes 剛性猜想、算術電路複雜性問題、量子並行重複問題、最近向量問題、Ehrhart 體積猜想、多色 Ramsey 數問題、極值圖論猜想。據介紹，這些成果由內部版本的 Astra 模型完成推導，尋找解決方案所消耗的計算成本約爲 2000 美元（按 Sol API 價格計算）。隨後，人類研究人員利用同一模型協助整理成論文，並通過 Lean 形式化證明系統生成可驗證證明證書。
OpenAI 未發佈 Astra 模型攻克 10 項數學難題
根據新披露信息，該未發佈模型（或爲 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 羣、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。
The Information：奧爾特曼展示 Astra AI 模型，主打長週期任務與多智能體協作
據 The Information 報道，OpenAI CEO Sam Altman 本週向美國參議員展示全新 Astra AI 模型。該模型支持多個 AI 智能體協同執行復雜任務，重點提升長週期任務處理能力。