OpenAI Astra模型解決10個數學未解問題

Astra模型攻克高維幾何等10項難題，算力成本僅2000美元，並通過Lean系統生成可驗證證明。

據 Woofun AI 消息，OpenAI 新一代 AI 模型 Astra 在數學及理論計算機科學領域取得進展，公佈了涉及高維幾何、編碼理論、羣論、量子複雜性、後量子密碼學及極值組合學等方向的10項研究成果。這些成果涵蓋高維球面填充、二進制與球面編碼、非索菲克羣、康尼斯剛性猜想、算術電路複雜性、量子並行重複、最近向量問題、埃哈特體積猜想、多色拉姆齊數及極值圖論猜想。