PANews 8月2日消息、OpenAIは研究成果を発表し、次世代AIモデル「Astra」が数学と理論計算機科学の分野で進展を見せたと明らかにした。対象領域は高次元幾何学、符号理論、群論、量子複雑性、ポスト量子暗号、極値組合せ数学などに及び、公開された10件の成果は次の各問題に関わる：高次元球充填問題、2進符号および球面符号問題、非ソフィック群問題、Connes剛性予想、算術回路複雑性問題、量子並列繰り返し問題、最近ベクトル問題、Ehrhart体積予想、多色Ramsey数問題、極値グラフ理論予想。

説明によると、これらの成果は内部バージョンのAstraモデルが導出を完了したもので、解決策の発見に消費された計算コストは約2000ドル（Sol API価格で計算）にのぼるという。その後、人間の研究者が同一モデルを利用して論文への整理を支援し、Lean形式証明システムを通じて検証可能な証明証明書を生成した。