La inteligencia artificial da un salto histórico en la matemática.
La comunidad matemática internacional sumó un hito sin precedentes: un modelo de inteligencia artificial desarrollado por OpenAI logró resolver de forma autónoma un problema abierto que llevaba casi 80 años desvelando a especialistas de todo el mundo. Se trata de la llamada conjetura de la distancia unitaria planar, formulada por el célebre matemático húngaro Paul Erdős en 1946.
El anuncio, conocido en Argentina a través de la Agencia Noticias Argentinas (NA), marca la primera vez que un sistema de IA encuentra y demuestra por cuenta propia una solución a un problema central de un área de la matemática, en este caso la geometría discreta. El resultado no solo ofrece una respuesta novedosa, sino que además derriba una creencia arraigada durante décadas en la comunidad científica.
La pregunta que planteó Erdős puede explicarse con una imagen sencilla: si se colocan n puntos en un plano, como si se tratara de una hoja de papel, ¿cuál es el número máximo de pares de puntos que pueden estar exactamente a una distancia de 1 unidad entre sí? Detrás de esta formulación aparentemente simple se esconde un problema complejo, vinculado con la forma en que se organizan los puntos y las estructuras geométricas que generan.
Durante casi 80 años, la intuición dominante indicaba que la mejor forma de lograr la mayor cantidad de pares a distancia unitaria era una especie de rejilla cuadrada ligeramente distorsionada. Esa idea, que guiaba las aproximaciones conocidas, parecía cercana a la solución óptima y se convirtió en un consenso de trabajo entre especialistas.
La refutación del modelo de OpenAI
El modelo de OpenAI, entrenado para explorar patrones y probar conjeturas, llegó a una conclusión diferente. Según explicó la compañía, la IA descubrió una familia completamente nueva de construcciones geométricas que supera en rendimiento a las configuraciones de cuadrícula cuadrada aceptadas históricamente.
En términos técnicos, el sistema proporcionó una familia infinita de ejemplos que logran una mejora polinómica respecto de las soluciones anteriores. De esta manera, refutó la hipótesis de que las cuadrículas eran esencialmente óptimas y abrió una nueva línea de investigación en geometría discreta.
Por qué este avance es clave para la ciencia y la IA
Desde OpenAI subrayan que el logro tiene un valor doble. Por un lado, se trata de un aporte concreto al conocimiento matemático: una conjetura clásica fue revisada y superada mediante una herramienta inédita. Por otro, el resultado funciona como una prueba de concepto sobre la capacidad de razonamiento profundo de los modelos de inteligencia artificial más avanzados.
- Las matemáticas ofrecen un entorno ideal para evaluar la coherencia lógica: los problemas son precisos y las demostraciones pueden verificarse rigurosamente.
- La solución encontrada por la IA combina ideas de la teoría algebraica de números con una cuestión de geometría elemental, un cruce conceptual que sorprendió a especialistas.
- El trabajo abre la puerta a que sistemas similares colaboren en otras áreas, desde la física teórica hasta la optimización industrial.
Si bien la intervención humana seguirá siendo clave para interpretar resultados, validar pruebas y orientar líneas de investigación, el caso de la distancia unitaria planar anticipa un escenario en el que científicos y sistemas de IA trabajen como aliados en la búsqueda de nuevos descubrimientos. El hito firmado por OpenAI y la herencia intelectual de Erdős marcan así un nuevo capítulo en la relación entre matemática e inteligencia artificial.
