An OpenAI model has achieved a historic milestone by producing a counterexample to the Erdős unit distance conjecture, a long-standing problem in discrete geometry. The result shows that there are sets of points in the plane with more unit-distance pairs than Erdős’s...