社内のフロンティアモデルが生み出した、数学における幅広い新たな成果を公開します。
数学コミュニティと成果を共有する方法の標準化に向けて、独立した組織である高等研究所の数学・人工知能諮問グループ（新しいウィンドウで開く）と協議し、ベストプラクティスの策定を進めてきました。今回の成果の公開方法にも、同グループからの助言と公開されている提言（新しいウィンドウで開く）を取り入れています。
今回は、論文の改訂や引用に関するルールを設けたうえで、GitHub リポジトリで成果を公開します。今回の成果については、同グループのガイドラインを満たす、コミュニティが運営するほかの公開先も引き続き検討しています。今後の公開では、成果をより深く理解していただけるよう、引用、数学的な説明、成果の提示方法を改善し、論文の質をさらに高めていきます。
GitHub リポジトリでは、多くの証明を Lean で形式化したものも共有しています。Lean は、数学の証明をコンピューターで検証できるプログラミング言語です。今後も証明の形式化ができ次第、リポジトリに追加していきます。
科学の透明性とオープン性を促進するため、成果を得るまでの過程についても、さらに詳しい情報をリポジトリで公開しています。これには、モデルの推論の要約 10 件、ChatGPT での Pro の使用量に換算した計算資源の消費量の推定値、解答を試みた問題数に関する統計が含まれます。成果 1 件あたりに使われた計算資源は、平均で ChatGPT Pro の思考時間の約 3 時間分に相当します。
私たちは、こうした進展によって人類の知の領域を広げ、数学のさらなる発展につなげたいと考えています。AI が生み出した主要な成果への理解を深めるため、一連のワークショップ、学会、特別プログラムに資金を提供する予定です。詳細は近くお知らせします。
科学者が最先端の能力を直接活用できるようにしたいと考え、これらの成果を生み出したモデルを責任ある形で公開するための取り組みを進めています。そのためにも、社内のフロンティアモデルを数学やその他の科学分野で継続的に評価することが重要です。これにより、各分野の発展を支えるツールの開発を加速できます。今後もコミュニティからのフィードバックを取り入れ、科学上の大きな進展を公開する際の基準を更新していきます。
