An OpenAI model has disproved a central conjecture in discrete geometry

Un modelo de OpenAI resolvió el problema de la distancia unitaria de 80 años, refutando una importante conjetura en geometría discreta. Esto marca un hito en las matemáticas impulsadas por la IA.