内部フロンティアモデルによって生成された幅広い新しい数学的結果を公開します。
数学コミュニティと結果を共有する方法を改善するために、私たちは高等研究所の数学・人工知能に関する独立した諮問グループ（新しいウィンドウで開く）と協議し、最良の実践方法を策定してきました。また、彼らの助言と公的な推奨事項（新しいウィンドウで開く）を参考に、これらの結果の公開方法を決定しています。
このリリースでは、論文の改訂や引用に関する手順を記載したGitHubリポジトリに結果を公開します。委員会のガイドラインに合致する、他のコミュニティ主導の代替方法についても探求を続けています。今後のリリースでは、引用、数学的な説明、結果の提示を通じて、論文の質をさらに向上させることに努めます。
私たちのGitHubリポジトリの一部として、数学的証明をコンピュータによって検証可能にするプログラミング言語であるLeanにおける多くの証明の形式化を共有しています。新たに得られた形式化をもらうたびに、リポジトリを更新します。
科学的な透明性と開放性を促進するために、結果を得る過程に関する追加の詳細もリポジトリに公開しています。これには、モデルの推論に関する10件の要約、ChatGPT Proを使用した計算にかかった時間の推定値、そして試行された問題数に関する統計が含まれます。平均的な結果は、約3時間のChatGPT Proでの思考に相当する計算時間であったとされています。
この進展が人類の知識の境界を拓き、数学のさらなる発展を促すことを望んでいます。AIが生み出した主要な成果の理解に関する一連のワークショップ、会議、特別プログラムを資金提供する予定です。今後、このことについてさらに詳しくお伝えします。
最先端の能力を科学者に直接提供し、これらの結果を生み出したモデルを責任を持って公開する取り組みを行っています。そのため、数学やその他の科学分野における内部の frontier モデルを継続的に評価し続けることが重要です。そうすることで、それらの分野を進歩させるためのツールの開発を加速できます。私たちはコミュニティからのフィードバックに基づき行動を続け、主要な科学の進歩が公開される際の基準を更新していきます。