unit distance problem

OpenAI says one of its internal reasoning models has disproved a famous geometry conjecture first posed by mathematician Paul Erdos...