OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

An OpenAI general-purpose reasoning model autonomously disproved a conjecture posed by Paul Erdos in 1946, overturning 80 years of mathematical belief. The breakthrough concerns the planar unit distance problem, a question regarding the maximum number of unit-distance pairs among n points in a plane. The OpenAI model identified an infinite family of examples providing a polynomial improvement over previous theories, with the result verified by external mathematicians.

Source: r/MachineLearning | 2026-05-20