Por primera vez, un modelo de IA (GPT-5) resolvió de forma autónoma un problema matemático abierto presentado a nuestro proyecto de evaluación IMProofBench, con una prueba completa y correcta, sin pistas ni intervención humana. Una pequeña pero novedosa contribución a la geometría enumerativa. Algo de contexto: