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 comment
Source: DEV Community
Read the full article at the source.
Read on DEV Community