🔧 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 subsequently checked by external mathematicians and presented with accompanying mathematical commentary. It is a notable, but carefully bounded,...