Untuk pertama kalinya, model AI (GPT-5) secara mandiri memecahkan masalah matematika terbuka yang diajukan ke proyek pembandingan kami IMProofBench, dengan bukti yang lengkap dan benar, tanpa petunjuk atau intervensi manusia. Kontribusi kecil namun baru untuk geometri enumeratif. Beberapa latar belakang: