OpenAI Internal Research System — 2026-05

An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture

On 20 May 2026 OpenAI reported that an internal reasoning model produced an infinite family of planar point sets with n^{1+δ} unit distances for some δ>0, disproving Erdős’s n^{1+o(1)} conjecture. External mathematicians checked the argument and later made the exponent explicit.