Apenas 2 dias depois, a AI provou um novo teorema em geometria algébrica