OpenAI Model Disproves Erdős Unit-Distance Conjecture in Discrete Geometry

OpenAI has disclosed that an internal model generated a proof disproving the Erdős unit-distance conjecture, a long-standing question in discrete geometry. The result, announced on May 20, 2026, was s