OpenAI、次期モデル「Astra」で数学問題10問の解決に挑戦

記事の3ポイント

1. 1

   OpenAI の数学的突破とコスト効率

   OpenAI は次期モデル「Astra」の内部版を使用して、10 年以上進展がなかった数学問題 10 問を解決し、各問題あたりの GPT-5.6 Sol トークン使用料を 2,000 ドル未満に抑えた。

2. 2

   透明性の高い成果公開

   同社は GitHub リポジトリで Lean 4 による形式化、解決策を記述した論文、およびモデルが推論プロセスを再構築した LLM 生成 PDF を公開し、高い透明性を示した。

3. 3

   数学界における「ビッグ・マセマティクス」の到来

   テレンス・タオは AI を専門分野の根本的な転換点と捉え、人間が創造的役割を担い機械が技術的作業を行う大規模な分散型協働である「ビッグ・マセマティクス」への移行を予見している。