私たちは、内部フロンティアモデルによって生成された幅広い新しい数学的結果を公開しています。Institute for Advanced Studyの独立した数学と人工知能に関する諮問グループと協議し、ベストプラクティスを開発してきました。今回のリリースでは、結果をGit Hubリポジトリに公開し、論文の改訂と引用のためのプロトコルを設けています。
私たちは、Lean（コンピュータによる数学的証明の検証を可能にするプログラミング言語）での多くの証明の形式化を共有しています。また、モデルの推論の10の要約と、消費された計算リソースの推定も公開しています。平均的な結果は、約3時間のChat GPT Pro思考に相当する計算を使用しました。
私たちは、この進歩が人類の知識の最前線を押し広げることを望んでいます。AIによって生成された主要な結果を理解するためのワークショップ、会議、特別プログラムのシリーズに資金を提供します。これらの結果を生み出したモデルを責任を持って公開するよう努めており、コミュニティからのフィードバックに基づいて行動し続けます。
出典: Hacker News · 要約：HeadlinesBriefing