OpenAI model disproves Erdős's 1946 unit-distance conjecture

OpenAI said an internal general-purpose reasoning model, not trained specifically for maths, constructed planar point sets with at least n^(1+δ) unit-distance pairs, refuting the long-standing n^(1+o(1)) conjecture. The argument uses algebraic number theory (class field towers); external mathematicians checked it and wrote a companion paper, and Noga Alon and Tim Gowers praised it publicly.