Odaily星球日報によると、OpenAIは次世代AIモデル「Astra」が数学および理論計算機科学の分野で進展を遂げたと研究成果を発表しました。この進展は、高次元幾何学、符号理論、群論、量子複雑性、後量子暗号学、極値組合せ数学などに及び、公表された10の成果は以下の分野を含みます：高次元球体充填問題、2進法および球面符号問題、非sofic群問題、Connesの剛性予想、算術回路複雑性問題、量子並列繰り返し問題、最近点問題、Ehrhart体積予想、多色Ramsey数問題、極値グラフ理論予想。
これらの成果は、Astraモデルの内部バージョンによって導出され、解決策を見つけるために消費された計算コストは約2000ドル（Sol API価格に基づく）である。その後、人間の研究者は同じモデルを活用して論文を整理し、Lean形式化証明システムを通じて検証可能な証明証を生成した。