Esiste un’AI che risolve problemi matematici complessi e dimostra teoremi rimasti irrisolti per anni. Come funziona AxiomProver e perché sta cambiando la ricerca ...