OpenAIが数学分野におけるAIの進歩を共有

OpenAIは、内部のフロンティアモデルによって生成された数学的成果のセットを公開し、人類の知識のフロンティアを前進させました。この公開は、科学的な透明性を促進し、数学コミュニティがAIによって生成された証明を検証し、それを基にさらに研究を進めることが可能になるように設計されています。

Leanによる形式化による検証

OpenAIは、コンピュータで検証可能な数学的証明を可能にするプログラミング言語Leanを用いて、多くの証明の形式化を提供しています。同社は、これらの結果を含むGitHubリポジトリを、新たな形式化が得られるたびに更新することを約束しており、検証の最高水準を確保しています。

透明性と手法

科学的なオープンネスを確保するため、OpenAIはGitHubリポジトリに、結果を得るために使用されたプロセスに関する具体的な詳細を公開しています。公開された透明性データには以下の内容が含まれます：

• 推論要約: モデルの推論プロセスを詳述した10の要約。
• 計算リソースの推定: ChatGPT Proの使用時間で測定された計算リソースの推定値。
• 試行統計: 試行された問題数に関する統計データ。

OpenAIによると、平均的な結果は、ChatGPT Proの「思考」に約3時間分の計算リソースを使用して生成されたとのことです。

コミュニティの参加と基準

OpenAIは、インスティテュート・フォー・アドバンスト・スタディ（IAS）の数学と人工知能に関する諮問グループ（AGMAI）と協議しながら、AIによって生成された数学的成果を共有するためのベストプラクティスの開発を進めてきました。今回の公開は、AGMAIの公開された推奨事項に従っており、論文の改訂や引用に向けた確立されたプロトコルを備えたGitHubリポジトリを利用しています。

OpenAIは、今後の公開で数学的記述および表現の質を向上させ、コミュニティの理解を深めるべく取り組むことを表明しています。さらに、主要なAI生成数学的成果の理解に焦点を当てたワークショップ、カンファレンス、特別プログラムを資金提供する予定です。

モデルの可用性

現在、結果は論文および形式化として共有されていますが、OpenAIは、これらの発見を生み出した内部フロンティアモデルの責任ある公開に向けて取り組んでいます。同社は、数学をはじめとする他の科学分野における内部フロンティアモデルの継続的な評価を強調しており、科学ツールの開発を加速するための取り組みとしています。