Solo 2 giorni dopo, l'AI ha dimostrato un nuovo teorema nella geometria algebrica