Pentru prima dată, un model AI (GPT-5) a rezolvat autonom o problemă de matematică deschisă trimisă proiectului nostru de benchmarking IMProofBench, cu o demonstrație completă și corectă, fără indicii sau intervenții umane. O contribuție mică, dar nouă, la geometria enumerativă. Puțin context: