La compañía desarrolladora de inteligencia artificial, OpenAI, ha anunciado este miércoles que uno de sus modelos internos de propósito general ha logrado refutar una conjetura fundamental de la geometría con casi 80 años de autoridad.
El problema de las distancias unitarias, planteado por Paul Erdős en 1946, ha sido estudiado durante casi 80 años. Este problema busca maximizar el número de pares de puntos que pueden colocarse a una distancia exacta de 1 en el plano, y se creía que las cuadrículas cuadradas eran la configuración óptima.
El modelo ha proporcionado una familia infinita de ejemplos que consiguen una mejora polinomial. La prueba, verificada por matemáticos externos, es el primer caso en que una inteligencia artificial resuelve de forma autónoma un problema matemático abierto y destacado.
