AI just verified a proof that earned one of math’s most prestigious prizes. Math will never be the same Live Science