OpenAI、内部AIモデルが作成した数学論文と証明成果物を公開

OpenAIは、未公開の内部モデルによって作成された722件の数学論文(372ファミリーに分類)と証明成果物を公開した。既存の評価基準が飽和したことを受け、未解決の研究課題を用いてモデルを評価したもので、約4,000件の課題に対し各成果につき平均3時間のChatGPT Proの思考コンピュートを費やして得られた。リーマンゼータ関数の非零領域やCMアーベル多様体に関するホッジ予想の証明などが含まれ、一部の成果はLean言語で形式化されている。