OpenAI's proof of the unit distance conjecture wasn't just another solved Erdős problem. Mathematicians had actually tried to crack it; the methods were sophisticated and surprising; and the result was universally agreed to be Annals of Mathematics quality — the top journal in the field. This ended the goalposts-moving: AI can do world-class research.