In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…
On May 20, 2026, OpenAI announced that an internal AI model had produced a counterexample to the unit distance problem, a conjecture posed by Paul Erdős in 1946, marking the first historically signifi…
OpenAI announced that its internal reasoning model disproved the Erdős unit distance conjecture, a problem open since 1946, with the result verified by named mathematicians including Fields Medalist T…
OpenAI claims its new general-purpose reasoning model has produced an original mathematical proof disproving a famous unsolved geometry conjecture first posed by Paul Erdős in 1946, marking what the c…