Juste 2 jours plus tard, l'IA a prouvé un nouveau théorème en géométrie algébrique