未公開モデル「Astra」が主要な数学問題10問を解決と報告

記事の3ポイント

1. 1

   未公開モデル Astra の数学的能力

   OpenAI は内部バージョンの次期モデル「Astra」が、10件の主要な数学的未解決問題を解決したと発表し、その成果を詳細にリストアップしている。

2. 2

   具体的な問題解決実績

   高次元球充填や群論の非ソフィック群の存在証明など、理論計算機科学から幾何学に至る多岐にわたる分野で新結果が得られた。

3. 3

   検証プロセスとコスト効率

   人間がモデルを用いて草稿を作成し、最終的に Lean 証明書による形式化が行われたほか、1問題あたりの推論コストは従来の API レートで約2,000ドル相当の計算量に匹敵する。