OpenAI 下一代模型 Astra 解出 10 道踰十年未解數學難題

BiRun 消息，OpenAI 研究員 Noam Brown 8 月 1 日公佈：內部版的下一代模型「Astra」對 10 道「至少十年、多數更久無人取得進展」的數學與理論計算機科學難題做出解答，涵蓋高維幾何、羣論（解決非索菲羣存在性）、格密碼學、量子復雜度等，含 Erdős 1946 平面單位距離問題。論証來自 Astra、人類寫成論文並以 Lean 形式化（機器可驗証），token 成本約 2,000 美元等級。但書：內部未發布版、未衕行評審、未解韆禧年難題。 這篇文章 OpenAI 下一代模型 Astra 解出 10 道踰十年未解數學難題最早出現於鏈新聞 ABMedia 。