AIが数学の新しい発見を公開

OpenAIは、社内の最先端モデルによって生成された幅広い数学的成果を公開しました。これらの成果は、論文の改訂と引用に関するプロトコルとともに、GitHubリポジトリで公開されています。このリポジトリには、Leanにおける多くの証明の形式化が含まれており、今後さらに形式化が進めば更新されます。また、モデルの推論に関する10の要約、ChatGPTのPro利用における計算量（compute）の推定、および試行された問題の数に関する統計も含まれています。