Vain kaksi päivää myöhemmin tekoäly on todistanut uuden teoreeman algebrallisessa geometriassa