Solo dos días después, la IA ha demostrado un teorema novedoso en geometría algebraica