For første gang løste en AI-modell (GPT-5) autonomt et åpent matematikkproblem sendt inn til vårt benchmarking-prosjekt IMProofBench, med et komplett, korrekt bevis, uten menneskelige hint eller inngripen. Et lite, men nyskapende bidrag til enumerativ geometri. Litt bakgrunn: