OpenAI稱AI模型取得數學突破：發佈密碼學、量子計算領域10個長期未解問題研究成果

金色財經報道，OpenAI發佈研究成果稱，其下一代AI模型 Astra 在數學與理論計算機科學領域取得進展，涉及高維幾何、編碼理論、羣論、量子複雜性、後量子密碼學以及極值組合數學等領域，其公佈的10項成果涉及：高維球堆積問題、二進制與球面編碼問題、非sofic羣問題、Connes剛性猜想、算術電路複雜性問題、量子並行重複問題、最近向量問題、Ehrhart體積猜想、多色Ramsey數問題、極值圖論猜想。 據介紹，這些成果由內部版本的Astra模型完成推導，尋找解決方案所消耗的計算成本約爲2000美元（按Sol API價格計算）。隨後，人類研究人員利用同一模型協助整理成論文，並通過Lean形式化證明系統生成可驗證證明證書。