Un modelo de OpenAI desmantela una conjetura matemática de 80 años

La inteligencia artificial dio un paso que muchos especialistas consideran histórico para la investigación matemática. Un modelo experimental desarrollado por OpenAI logró refutar la conocida conjetura de la distancia unitaria de Erdos, un problema abierto desde 1946 que durante más de 80 años permaneció sin una solución definitiva.

El resultado ha generado entusiasmo entre matemáticos de distintos países y es señalado por varios expertos como uno de los avances más relevantes obtenidos hasta ahora por sistemas de inteligencia artificial en el ámbito de las matemáticas avanzadas.

La conjetura había sido formulada por el reconocido matemático húngaro Paul Erdos, considerado una de las figuras más influyentes y productivas de la matemática del siglo XX. El problema se centra en determinar cuántos pares de puntos pueden colocarse sobre un plano de manera que la distancia entre ellos sea exactamente una unidad cuando el número total de puntos crece de forma acelerada.

Durante décadas, los investigadores sospecharon que la solución se encontraba cerca de un límite inferior planteado por el propio Erdos. Sin embargo, a pesar de los numerosos esfuerzos realizados por especialistas de todo el mundo, nadie había conseguido demostrar esa hipótesis ni encontrar una construcción que la refutara.

La situación cambió cuando el modelo interno de OpenAI identificó una estructura matemática alternativa que demostró que la conjetura original no era correcta.

Un logro reconocido por la comunidad científica

Entre los expertos que analizaron el resultado se encuentra Tim Gowers, quien calificó el descubrimiento como un verdadero “hito en las matemáticas de la inteligencia artificial”.

Asimismo, el profesor Daniel Litt sostuvo que se trata del primer resultado generado autónomamente por una IA que considera importante por su contenido matemático intrínseco y no únicamente como una evidencia del progreso de la tecnología.

Uno de los aspectos más destacados del trabajo es que el sistema logró construir una demostración matemática completa mediante la combinación de conceptos provenientes de distintas áreas del conocimiento matemático. Esto representa una diferencia importante respecto a sistemas anteriores, que generalmente requerían una intervención humana mucho más intensa para transformar sugerencias o ideas parciales en pruebas formalmente aceptadas.

Como sucede con cualquier investigación científica, el resultado fue posteriormente revisado y validado por matemáticos humanos, quienes también ampliaron algunos aspectos del trabajo siguiendo los procedimientos académicos habituales.

Una nueva forma de abordar el problema

La estrategia utilizada por la inteligencia artificial consistió en replantear una hipótesis que había guiado buena parte de las investigaciones anteriores.

Mientras la intuición de Erdos sugería que las configuraciones más eficientes debían parecerse a una cuadrícula tradicional, el modelo exploró configuraciones mucho más complejas generadas en espacios de dimensiones superiores antes de proyectarlas sobre un plano bidimensional.

Gracias al uso de números enteros algebraicos y construcciones geométricas avanzadas, la IA encontró formas de generar una cantidad mayor de pares de puntos separados exactamente por una unidad de distancia que la prevista por la conjetura original.

Aunque los especialistas señalan que el hallazgo no implica necesariamente la creación de nuevas herramientas matemáticas revolucionarias, sí demuestra una capacidad novedosa de la inteligencia artificial para integrar conocimientos previamente existentes y utilizarlos para producir soluciones originales a problemas de alta complejidad.

Implicancias para la ciencia del futuro

El descubrimiento alimenta un debate cada vez más presente en la comunidad científica sobre el rol que desempeñarán las inteligencias artificiales en la investigación durante los próximos años.

Por ahora, muchos expertos consideran que la colaboración entre humanos y sistemas de IA será la fórmula predominante. Mientras las máquinas aportan velocidad, capacidad de exploración y habilidad para relacionar conceptos provenientes de disciplinas diferentes, los investigadores continúan siendo esenciales para formular preguntas relevantes, interpretar resultados y validar conclusiones.

Sin embargo, el ritmo de evolución de estas tecnologías está obligando a replantear algunas ideas tradicionales sobre la producción de conocimiento. Lo ocurrido con la conjetura de Erdos sugiere que la inteligencia artificial podría desempeñar un papel cada vez más importante en la resolución de problemas matemáticos complejos y en el desarrollo de nuevos descubrimientos científicos durante la próxima década.

Con información de Montevideo Portal

RELACIONADAS

ULTIMAS