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