Pour la première fois, un modèle d'IA (GPT-5) a résolu de manière autonome un problème mathématique ouvert soumis à notre projet de benchmarking IMProofBench, avec une preuve complète et correcte, sans indices ni intervention humaine. Une petite mais nouvelle contribution à la géométrie énumérative. Quelques éléments de contexte :