初めて、AIモデル(GPT-5)が、私たちのベンチマーキングプロジェクトIMProofBenchに提出された未解決の数学問題を、人間のヒントや介入なしに完全かつ正確な証明で自律的に解決しました。 列挙幾何学への小規模ながら新しい貢献です。背景を少し説明します。