OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture

An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed by Paul Erdős in 1946. The problem asks how many pairs of points can be exactly distance 1 apart when placing n points in the plane. According to coverage on Bluesky, this marks the first time an AI has independently produced a mathematical result that experts find genuinely interesting, with mathematician Daniel Litt calling it noteworthy. The AI used was a general-purpose model rather than a specialized mathematics system.