1 article
An OpenAI model has disproved an 80-year-old conjecture in discrete geometry, solving the unit distance problem.