Why the Legendary Erdős Problems Are Falling to AI

An internal AI model developed by OpenAI generated a counterexample to the 'unit distance' problem, a 1946 conjecture by Paul Erdős. The problem was notable for being simple to explain yet challenging to resolve.