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

OpenAI 研究員 Noam Brown 8 月 1 日公布：內部版的下一代模型 Astra 對 10 道「至少十年、多數更久無人取得進展」的數學與理論計算機科學難題做出解答，涵蓋高維幾何、群論（解決非索菲群存在性）、格密碼學、量子複雜度等，含著名的 Erdős 1946 平面單位距離問題。論證來自 Astra，人類寫成論文並以 Lean 形式化（機器可驗證），token 成本約 2,000 美元等級。研究仍需留意：內部版本尚未發布、未經同行評審，且並未解出千禧年難題。