Per la prima volta, un modello di intelligenza artificiale (GPT-5) ha risolto autonomamente un problema matematico aperto sottoposto al nostro progetto di benchmarking IMProofBench, con una dimostrazione completa e corretta, senza suggerimenti o interventi umani. Un piccolo ma innovativo contributo alla geometria enumerativa. Alcuni dettagli: