AI And Unit Distance Problem

"An OpenAI model has disproved a central conjecture in discrete geometry"