新しい数学的成果を幅広く公開します。これはan 内部フロンティアモデル.
数学コミュニティと結果を共有する方法の改善を検討するにあたり、私たちは独立系の 高等研究所(IAS)の数学と人工intelligenceに関する諮問委員会（新しいウィンドウで開きます） ベストプラクティスを策定するために設置され、私たちは同委員会の助言と 公開された勧告（新しいウィンドウで開きます） を参考にして、これらの結果の公開方法を決定しました。
今回の公開では、論文の改訂および引用に関するプロトコルとともに、結果をGitHubリポジトリで公開します。委員会のガイドラインを満たす、コミュニティがホストする他の公開方法についても引き続き検討しています。今後の公開に向けては、引用、数学的解説、結果の提示の質をさらに向上させ、より良い理解につなげることに取り組みます。
GitHubリポジトリの一環として、数学的証明をコンピュータで検証できるプログラミング言語であるLeanを用いて、多くの証明の形式化を共有しています。形式化が得られ次第、リポジトリを更新していきます。
科学の透明性と公開性を促進するため、リポジトリには結果の取得方法に関する追加の詳細も公開しています。これには、モデルの推論に関する10件の要約、ChatGPTのPro利用による計算資源の推定値、および試行された問題数に関する統計が含まれます。平均的な結果では、ChatGPT Proの推論（thinking）約3時間に相当する計算資源が使用されました。
私たちは、この進歩が人類の知識のフロンティアを押し広げ、数学のさらなる発展を可能にすることを望んでいます。AIが生み出した主要な結果の理解をめぐる一連のワークショップ、会議、特別プログラムに資金を提供します。詳細は近いうちにお知らせします。
私たちは、最先端の能力を科学者に直接提供したいと考えており、これらの結果を生み出したモデルの責任ある公開に取り組んでいます。だからこそ、数学およびその他の科学分野における内部のフロンティアモデルの評価を続けることが重要なのです。それにより、これらの分野を前進させるツールの開発を加速できます。私たちは今後もコミュニティからのフィードバックに基づいて行動し、主要な科学的進歩の今後の公開に関する基準を更新していきます。