OpenAI's Erdős Proof Wins Mathematician's Verification, Annals Recommendation
Five days on, the OpenAI unit-distance result has cleared Thomas Bloom independently and Tim Gowers has said he would have recommended it to the Annals of Mathematics without hesitation.