OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表

2026.08.03 6:56
Itmedia.co.jp

OpenAIは、次期主力モデル「Astra」の社内版により、数学や理論計算機科学の未解決問題10件で新たな結果を得たと発表した。「Astra」の名称公表は初とみられる。計算コストは「Sol」換算で約2000ドルに抑えられ、証明支援系「Lean」による形式証明もGitHubで公開。高度な数学研究への応用可能性を示した。

検索

人気記事

2026.05.05 11:04
2026.08.02 22:50
2026.08.02 22:44
2026.08.02 22:34
2026.07.30 12:12

コメント一覧

まだコメントはありません。

コメント