An internal OpenAI model has independently disproven Paul Erdős's famous planar unit distance conjecture, marking a milestone in autonomous mathematical reasoning.
