An OpenAI model has disproved a central conjecture in discrete geometry

Contesto

OpenAI riferisce che un proprio modello interno ha confutato la congettura di Erdős sul problema delle distanze unitarie, costruendo una famiglia infinita di configurazioni con un miglioramento polinomiale rispetto alla griglia quadrata; la dimostrazione è stata verificata da matematici esterni.