OpenAIの内部モデルが数学の未解決問題に挑み、722本の論文を生成

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

OpenAIがGitHubで公開したリポジトリには、未公開の内部モデルが生成した数学の原稿722本が372のファミリーに分類されて収められている。モデルは約4,000の問題に取り組み、平均3時間のChatGPT Pro推論計算を使用。リーマンゼータ関数の零点自由領域やHodge予想の証明など一部の例外を除き、大半は同一手順で得られた。Leanによる形式化も進行中で、未形式化の結果には問題が含まれる可能性があるとしている。