OpenAI、未公開の数学論文722本を一挙公開

米OpenAIは10月6日、社内の最先端AIモデルが生成した数学論文722本を一括公開しました。これらの論文はGitHubで公開されており、372のグループに分類されています。数論や幾何学、理論計算機科学といった幅広い分野の未解決問題を扱っています。

AIによる数学的成果

公開された論文は、社内のAIモデルに約4000件の未解決問題を与えて生成されたものです。リーマン予想に関連する成果や、ホッジ予想の一部、掛谷予想の解決を主張する論文などが含まれています。ただし、これらの著名な未解決問題が完全に解決されたわけではありません。

検証方法と今後の課題

論文の一部には、Leanというプログラミング言語を用いた形式化データも公開されました。しかし、すべての論文が検証済みではなく、学術誌の査読も経ていません。今後、数学界による独立した検証が必要となる状態です。

■ まとめ

OpenAIは生成AIを用いて導き出した数学論文722本をGitHubで公開しました。数学界による独立した検証が待たれる段階であり、完全な解決ではないものの注目を集めています。