Modelo de OpenAI desmiente conjetura geométrica
Un modelo de inteligencia artificial de OpenAI ha resuelto un problema geométrico que llevaba abierto desde 1946. El problema, conocido como el problema de la distancia unitaria en el plano, se refiere a la cantidad de pares de puntos que pueden estar exactamente a una distancia de 1 aparte cuando se colocan n puntos en un plano.
El problema fue planteado por primera vez por el matemático Paul Erdős en 1946 y desde entonces ha sido estudiado por numerosos matemáticos. La creencia generalizada era que la construcción de una cuadrícula era la forma óptima de maximizar la cantidad de pares de puntos a distancia unitaria. Sin embargo, el modelo de OpenAI ha demostrado que esta conjetura es incorrecta, proporcionando una familia infinita de ejemplos que mejoran polinómicamente la cantidad de pares de puntos.
“El problema fue planteado por primera vez por el matemático Paul Erdős en 1946 y desde entonces ha sido estudiado por numerosos matemáticos”
La prueba ha sido verificada por un grupo de matemáticos externos, quienes también han escrito un artículo complementario que explica la argumentación y proporciona más contexto sobre la importancia del resultado. El método utilizado para resolver el problema es notable, ya que el modelo de OpenAI no fue entrenado específicamente para resolver problemas matemáticos, sino que forma parte de un modelo de razonamiento general.
El resultado es considerado un hito importante en la comunidad matemática y de inteligencia artificial, ya que demuestra la capacidad de los modelos de inteligencia artificial para resolver problemas complejos de manera autónoma. Según el medallista Fields Tim Gowers, "este resultado es un hito en la matemática de la inteligencia artificial". El matemático Arul Shankar también ha comentado que "este artículo demuestra que los modelos de inteligencia artificial actuales van más allá de ser simples ayudantes para los matemáticos humanos, ya que son capaces de tener ideas originales y llevarlas a cabo hasta su conclusión".
