An internal reasoning model developed by OpenAI has disproved a longstanding mathematical conjecture about the maximum number of unit distances possible between points on a flat plane, a problem first posed by the legendary mathematician Paul Erdős in 1946.