AI推論システムの研究で知られるOpenAIの研究者Noam Brown氏は、GPTモデルによって生成された一連の10の数学的ブレイクスルーを紹介した。Brown氏によると、10件のブレイクスルーすべての証明を生成するための合計コストは、Sol API価格で2,000ドル未満であった。また、今後のモデルの能力に対する期待を示し、次のように述べた。「私たちは、今後のAstraモデルを使って科学者や研究者が何を生み出せるかを見るのを楽しみにしています！」

Brown氏はXへの投稿で10のブレイクスルーのリストを共有した：

https://x.com/polynoamial/status/2083470822258467194?s=61

これらの成果の意義に関する追加のコメントは以下で共有された：

https://x.com/stalkalmustang/status/2083485500250198453

これらの結果は、歴史的に高度な人間の専門知識とコラボレーションを必要としてきた数学研究分野における大規模言語モデルの役割の拡大を浮き彫りにしている。2,000ドル未満というコストは、AI支援による研究が従来の学術機関の枠を超えて参加の幅を広げる形で経済的に利用可能になりつつあることを強調している。AIによる定理証明および証明検証の進歩は近年加速しており、モデルは競技レベルの数学、Leanのような形式的証明アシスタント、組合せ論的問題解決などの分野で能力を示している。AlphaGeometryなどのシステムを擁するGoogle DeepMindを含む他の組織も、数学的発見に対するAIの注目すべき貢献を報告しており、言語モデルを科学のワークフローに統合するというより広範な業界トレンドを示している。