AI's failed attempt to crack the Riemann hypothesis still led to a breakthrough Live Science