Un problema matemático llevaba más de 80 años resistiéndose a los expertos. Una IA los ha superado a todos

El problema de la distancia unitaria en el plano ha mantenido a muchos matemáticos enfrascados durante décadas
Su conjetura ha sido refutada por un modelo de inferencia de uso general, y no por una IA especializada en matemáticas
Este es el primer avance en la cota inferior del problema planteado por Erdős en 80 años