Justo 2 días después, la IA ha demostrado un nuevo teorema en geometría algebraica