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

The introduction of AI into mathematics represents a seismic shift in what it means to do math.