数学者のギル・カライ氏、OpenAIの社内AIモデルによる数学分野の進展と自身の講演計画を総括

数学者のギル・カライ（Gil Kalai）氏は記事を公開し、OpenAIの社内AIモデルが創出した数学的成果をまとめるとともに、自身の講演ツアーの計画を発表した。カライ氏によると、OpenAIは社内AIモデルが生成した722本の論文原稿（372のカテゴリに分類）を公開しており、マーラー予想、9次元ボルスク問題、ハドヴィガー予想など、最先端の数学的命題数十件の証明や反例が含まれているという。これらの成果については、数学界によるさらなる検証と精査が必要とされる。また同氏は、AIツールを活用して講演ツアーの詳細な講義資料を整理し、ブログ記事としてリライトする計画にも言及した。