AI just verified a proof that earned one of math's most prestigious prizes. Math will never be the same (opens in new tab)

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