OpenAIが、社内で開発中のフロンティアAIモデルによって導き出した数学分野の研究成果をGitHub上で公開しました。高等研究所の専門アドバイザリーグープからの助言を取り入れ、学術コミュニティに向けた情報共有の透明性を高める形でまとめられています。
この記事の要点
- 社内のフロンティアAIが生成した幅広い数学的成果をGitHubリポジトリで公開
- 形式検証言語「Lean」を用いた証明や、モデルの思考要約などの詳細データも掲載
- 1つの結果あたりChatGPT Proの推論処理で約3時間相当の計算リソースを使用
GitHubを通じた成果の公開と検証データの提供
今回の取り組みでは、AIが導き出した数学的結果をGitHubリポジトリを通じて公開しています。数学界との適切な情報共有を進めるため、高等研究所の数学・人工知能アドバイザリーグープと協議を重ね、論文の改訂や引用に関するガイドラインを策定した上で公開に至りました。
リポジトリには論文そのものだけでなく、コンピュータ上で数学的証明を厳密にチェックできるプログラミング言語「Lean」による形式化データも多数含まれています。今後も形式化されたデータが揃い次第、随時リポジトリを更新していく方針です。
計算リソースの規模と今後のコミュニティ支援
科学的な透明性を確保するため、リポジトリ内では研究成果を得るまでのプロセスも詳しく開示されています。モデルの推論概要10件や試行した問題数の統計に加え、計算コストの推定値も明記されました。平均的な1つの成果を得るために、ChatGPT Proにおける思考処理の約3時間分に相当する計算リソースが費やされたとのことです。
OpenAIは、これらの成果を生み出したモデル自体の責任ある一般提供に向けて準備を進めています。あわせて、AIが生み出した重要な成果を学術界全体で理解・検証できるよう、一連のワークショップやカンファレンス、特別プログラムへの資金提供も計画しています。
コメント