An Erdős conjecture concerning the asymptotic upper-bound behavior of unit-distance pairs among planar point sets.
The archive records a reported infinite-family counterconstruction and external expert review while keeping model identity and run-budget gaps visible.
A complete attempt outcome does not automatically change the editorial status of the underlying problem.
01
May 20, 2026 · caseAI model disproves the planar unit-distance conjecture
An internal OpenAI model produced an infinite family contradicting Erdős's conjectured upper-bound behavior, followed by human simplification, context, and extensions.