OpenAIのAIモデルが数学のブレークスルーを達成：暗号学、量子計算などの10の長年未解決の問題に関する研究成果を発表

公式な情報によると、OpenAIは研究成果を発表し、次世代AIモデルAstraが数学および理論計算機科学の分野で進展を遂げたとしています。これには高次元幾何学、符号理論、群論、量子複雑性、ポスト量子暗号学、極値組合せ数学などの分野が含まれています。発表された10項目の成果には、高次元球の充填問題、二進法および球面符号問題、非sofic群問題、Connes剛性予想、算術回路の複雑性問題、量子並列繰り返し問題、最近接ベクトル問題、Ehrhart体積予想、多色Ramsey数問題、極値グラフ理論予想が含まれています。

これらの成果は、内部バージョンのAstraモデルによって導出され、解決策を見つけるために消費された計算コストは約2000ドル（Sol API価格に基づく）です。

その後、人間の研究者は同じモデルを利用して論文に整理し、Lean形式化証明システムを通じて検証可能な証明証明書を生成しました。