OpenAI、内部モデルの数学成果をGitHubで公開

OpenAIは今回の公開を、機械が生み出した数学を数学コミュニティが実際に扱える形で共有する試みと位置づけている。高等研究所の数学・人工知能に関する独立諮問グループとベストプラクティスの策定にあたり協議し、その助言と成果の提示方法に関する公開提言を参考にしたという。論文の改訂や引用のためのプロトコルを備えたGitHubリポジトリという選択は、成果を検証・引用・改訂できる場に置くことを意味し、OpenAIは委員会のガイドラインを満たす他のコミュニティ主導の代替案も引き続き検討していると述べている。

リポジトリには透明性を目的とした資料も含まれる。コンピュータが数学的証明を検証できるプログラミング言語Leanによる多くの証明の形式化に加え、モデルの推論の要約10件、ChatGPT上のPro使用量換算での計算量推定、挑戦した問題数の統計が収められている。OpenAIは平均的な成果がChatGPT Proの約3時間分の思考に相当する計算量を使ったと述べている。

今後の展望として、OpenAIはAIが生み出した主要な成果の理解をめぐるワークショップや会議、特別プログラムに資金を提供し、これらの成果を生み出したモデルの責任ある公開に向けて取り組んでいるとしている。この公開が数学コミュニティへの持続的な橋渡しとなるかは、引用・解説・提示方法に関する今後の改善がどう受け止められるか、また同社が検討中とするコミュニティ主導の代替案が実現するかどうかにかかっていそうだ。