För första gången löste en AI-modell (GPT-5) autonomt ett öppet matematikproblem som skickades in till vårt benchmarkprojekt IMProofBench, med ett komplett, korrekt bevis, utan mänskliga ledtrådar eller ingripande. Ett litet men nyskapande bidrag till enumerativ geometri. Lite bakgrund: