OpenAIは数万の機械生成数学証明をリリースしました

OpenAI は、数理論理から量子物理に至るまで、さまざまなトピックをカバーする機械生成の数学研究の大きなコレクションをリリースしました。このリリースには、Lean で形式化された証明を含む 722 の論文が、372 の研究ファミリーに分類されています。一部の結果は、無理性指数や NP 困難性などの複雑な問題にも取り組んでいます。

なぜ重要か. 数学者や研究者には幅広い新しい研究成果にアクセスできるようになり、数学や理論的コンピュータサイエンスのさまざまな分野における進展が加速する可能性があります。