Apenas 2 dias depois, a IA provou um teorema inovador em geometria algébrica