OpenAI官宣下一代模型Astra，取得10大未解難題突破，附249頁論文

賬號設置我的關注我的收藏申請的項目退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機構庫投資機構職位推介投資人認證投資人服務項目推薦36氪Pro創投氪堂企業入駐創業者服務創投平臺AI測評網 首頁快訊資訊推薦財經AI項目推薦廣東最新創投汽車科技專精特新直播視頻專題活動搜索項目推薦我要入駐城市合作OpenAI官宣下一代模型Astra，取得10大未解難題突破，附249頁論文智東西·2026年08月03日 07:45相關問題均已開放至少10年，且核心結論長期沒有進展。 相關問題均已開放至少10年，且核心結論長期沒有進展。 智東西8月2日消息，今天凌晨，OpenAI披露下一代模型Astra，並公佈其內部版本取得的10項數學與理論計算機科學新成果，涉及高維幾何、編碼理論、群論、算術電路複雜性、量子複雜性、格密碼學和極值組合學等方向。 此次公佈的成果集中展示了Astra探索前沿科研問題的能力。相關問題均已開放至少10年，且核心結論長期沒有進展，多數問題的研究歷史更為悠久。OpenAI藉助同一模型將論證整理成249頁論文，另附一份62頁的解題思路說明。按照Sol API費率計算，模型尋找這些解法所需的Token總成本約為2000美元（約合人民幣13500元）。 在OpenAI正式公佈這些成果前，Astra已經進入美國政策制定者的視野。昨日，據The Information報道，OpenAI CEO薩姆·奧爾特曼（Sam Altman）本週在美國華盛頓向包括白宮官員、內閣成員和國會議員在內的政策制定者預覽了Astra。 值得注意的是，這並非OpenAI首次公佈由AI參與解決數學難題。今年5月，OpenAI曾公開一項由AI發現的厄爾多什單位距離猜想反例。該結果由一款尚未發佈的模型在評估期間發現，並已推動數學與理論計算機科學領域的多項後續研究。 論文鏈接： https://cdn.openai.com/pdf/ten-proofs-oai.pdf Lean證書鏈接： https://github.com/openai/ten-proofs 模型解題思路： https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf 01.模型取得10項新成果，球體堆積指數48年來首次改進 此次，OpenAI公佈的10項成果分別為： 1、高維球體堆積：給出新的球體堆積密度上界，將結果推進至Cohn–Elkies閾值。這是一般球體堆積指數自1978年以來的首次改進。 2、二進制碼和球面碼：在任意給定最小距離下，對二進制碼的最大規模上界實現指數級改進，並在高維球面碼中取得類似結果。 3、非sofic群：構造出一個明確的非sofic群，推翻“所有可數群都是sofic群”的猜想。該問題自2000年前後被正式提出以來，一直是群論中的核心開放問題之一。 4、Connes剛性猜想：推翻了一項長期猜想。該猜想認為，某些群可以由其對應的馮·諾依曼代數唯一確定；新結果證明，不同的群也可能對應同一個馮·諾依曼代數。 5、算術電路複雜性：圍繞用算術電路和公式計算積和式給出新的下界，其中算術公式下界達到n⁴/log n量級。 6、量子並行重複：證明適用於一般雙人量子博弈的指數級並行重複定理，擴展了經典複雜性理論的基礎原理。 7、最近向量問題：證明最近向量問題具有多項式因子的近似困難性。該問題是格理論中的基礎問題，與後量子密碼學相關。 8、Ehrhart體積猜想：確定內部僅有一個格點、且該格點恰好位於重心的凸體在任意維度下所能達到的最大體積。 9、多色拉姆齊數：給出多色三角形拉姆齊數的超指數下界，解決厄爾多什第183號問題。 10、極值數猜想：在極值圖論的緊緻性猜想和退化性猜想上取得結果，解決厄爾多什第146號和第180號問題。 這些結果由其下一代重要模型Astra的內部版本取得，尋找全部解法所消耗的Token按Sol API費率計算約為2000美元（約合人民幣13500元）。隨後，人類研究人員藉助同一模型將論證整理成論文，再由模型把每項論證轉化為Lean形式化證明證書。此外，OpenAI還發布了模型對解題思路的講解。 02.數學論證由模型生成，公司對正確性負責 OpenAI認為，AI系統參與數學研究，正在帶來一系列科技公司無法單獨回答的問題。對於AI應當在數學研究中扮演何種角色，目前學界存在不同看法，部分數學家也對其影響持謹慎態度。 在成果署名方面，OpenAI認為，如果一項證明完全由AI系統生成，卻將其署名為人類作者，會同時歪曲AI系統的貢獻和人類原創工作的性質。 OpenAI稱，公司參與了論文整理和Lean形式化驗證，並對結果的正確性負責，但其中的數學論證由AI系統生成。OpenAI希望數學界進一步檢驗這些成果，將其置於既有研究脈絡中，並在此基礎上開展新的研究。 03.結語：10項成果凸顯，下一代模型的科研能力 此次公佈的10項成果，集中展示出OpenAI下一代重要模型Astra的科研能力。它不僅能夠處理已有知識，還開始參與探索解法、生成數學論證和形式化驗證等科研核心環節。 相比單項難題突破，Astra此次同時在多個長期開放問題上取得新結果，展示出跨研究方向解決前沿問題的潛力。不過，這些成果仍有待數學界進一步檢驗和評價。Astra能否將這種能力穩定擴展至科學領域，將成為其正式發佈前的一大看點。 本文來自微信公眾號“智東西”（ID：zhidxcom），作者：楊京麗，編輯：李水青，36氪經授權發佈。 該文觀點僅代表作者本人，36氪平臺僅提供信息存儲空間服務。+126好文章，需要你的鼓勵智東西特邀作者0收 藏+10評 論打開微信“掃一掃”，打開網頁後點擊屏幕右上角分享按鈕微 博沉浸閱讀返回頂部舉報參與評論評論千萬條，友善第一條登錄後參與討論提交評論0/1000你可能也喜歡這些文章從吳啟華到王祖賢，AI肖像授權這門生意沒那麼簡單從TPU到自我進化的Agent，Jeff Dean如何判斷AI的下一步2026，千問元寶靜悄悄MiniMax H3、Seedance 2.5、DeepSeek V4全來了，國產大模型今天有點忙誰在製造AI“虛假繁榮”？貝索斯用 AI 尋找下一塊硅“榨”出硅的極限：怎麼讓GPU不“閒著”？突發！OpenAI下一代AI攻克10項菲爾茲獎級難題剛剛，OpenAI全新模型Astra曝光！智東西特邀作者智東西，AI產業新媒體。發表文章3074篇最近內容OpenAI官宣下一代模型Astra，取得10大未解難題突破，附249頁論文44分鐘前庫克最後一次蘋果財報會，業績全線飄紅，為何盤後大跌8%？2026-07-31亞馬遜贏麻了，靠Anthropic賺3600億，盤後大漲10%2026-07-31閱讀更多內容，狠戳這裡選靠譜AI，看真實評測查看36氪AI測評官方交流社區加入諮詢項目審核和入駐聯繫36氪項目推薦訂閱號關注下一篇人形機器人的2026，產量狂歡與落地迷思不只會跳舞的機器人，才能活過行業淘汰賽。45分鐘前關於36氪城市合作項目推薦我要入駐投資者關係商務合作關於我們聯繫我們加入我們36氪歐洲站36氪歐洲站36氪歐洲站Ai產品日報網絡謠言信息舉報入口熱門推薦熱門資訊熱門產品文章標籤快訊標籤合作伙伴36氪APP下載iOS & Android本站由 阿里雲 提供計算與安全服務 違法和不良信息、未成年人保護舉報電話：010-89650707 舉報郵箱：[email protected] 網上有害信息舉報© 2011~2026 北京多氪信息科技有限公司 | 京ICP備12031756號-6 | 京ICP證150143號 | 京公網安備11010502057322號意見反饋36氪APP讓一部分人先看到未來36氪鯨準氪空間推送和解讀前沿、有料的科技創投資訊一級市場金融信息和系統服務提供商聚焦全球優秀創業者，項目融資率接近97%，領跑行業