OpenAI AIモデルが数学的ブレークスルーを達成：暗号学、量子コンピューティングなど10の長期未解決問題に関する研究成果を発表

Odaily星球日报讯 OpenAIは研究成果を発表し、次世代AIモデルAstraが高次元幾何学、符号理論、群論、量子複雑性、耐量子暗号、極値組合せ数学などの分野で進展を遂げたと述べた。今回発表された10の成果には、高次元球充填問題、二進符号と球面符号問題、非sofic群問題、Connes剛性予想、算術回路複雑性問題、量子並列反復問題、最短ベクトル問題、Ehrhart体積予想、多色ラムゼー数問題、極値グラフ理論予想が含まれる。

紹介によると、これらの成果は内部バージョンのAstraモデルによって導出され、解決策を探すために消費された計算コストは約2000ドル（Sol API価格に基づく）である。その後、人間の研究者が同じモデルを利用して論文の整理を支援し、Lean形式化証明システムを通じて検証可能な証明証明書を生成した。