An OpenAI reasoning model disproves the planar unit distance conjecture posed by Paul Erdős in 1946, a feat verified by Fields Medalist Tim Gowers.
