OpenAIは、数学論文722本をまとめた一式を、誰でも閲覧できるGitHubリポジトリで公開した。論文は、関連する成果をまとめた372の成果群に分類されている。同社によると、これらは未公開の最先端モデルによる成果で、数学者からなる独立諮問グループ（AGMAI）の評価では、未解決問題を「数百件」解いているという。OpenAIは、簡潔な推論の要約や計算量の推定値、試みた問題の数も公表した。
公開にあたっての対応
OpenAIは、各論文について、リポジトリ上で改訂履歴と引用に関する手順を設けると発表した。同社は、AGMAIの指針に沿うコミュニティ運営の公開方法も引き続き検討するとしている。今年初めに設置された同グループは、AI研究機関に対し、確立された学術的な経路で成果を公表し、画期的な成果をマーケティングに利用しないよう促していた。
なぜ重要か
数学者にとって、今回の論文は検証が必要な大量の新成果であり、一部の分野の研究を加速させる可能性がある。広く一般にとっては、AIが形式的な数学の解答を生み出せることを示す一方、成果の帰属や、活用前の検証方法をめぐる課題も浮き彫りにしている。
