Una de las preguntas más famosas y difíciles de la geometría discreta acaba de recibir una respuesta inesperada. Un modelo de inteligencia artificial desarrollado por OpenAI logró resolver un problema matemático abierto planteado hace casi ocho décadas por el legendario matemático Paul Erdős, desafiando una creencia que parecía consolidada dentro de la comunidad científica.
El resultado no solo sorprendió por la solución en sí, sino también por la forma en que fue obtenido. Según matemáticos que revisaron el trabajo, se trata de la primera ocasión en la que una inteligencia artificial resuelve de forma autónoma un problema abierto importante dentro de una rama central de las matemáticas.
El problema matemático parecía sencillo, pero desconcertó a matemáticos durante generaciones
La historia comenzó en 1946, cuando el matemático húngaro Paul Erdős formuló una pregunta aparentemente simple: si se colocan n puntos en un plano, ¿cuántos pares de esos puntos pueden estar exactamente separados por una distancia de una unidad?
Aunque el planteamiento parece elemental, la respuesta ha resultado extremadamente difícil de encontrar. Durante décadas se convirtió en uno de los problemas más famosos de la geometría combinatoria y atrajo la atención de investigadores de todo el mundo.
La hipótesis predominante sugería que ciertas configuraciones basadas en estructuras similares a cuadrículas eran esencialmente la mejor forma posible de maximizar el número de pares separados por distancia unitaria. Esta idea sobrevivió durante generaciones y muchos especialistas asumían que probablemente representaba la respuesta correcta.
Sin embargo, el nuevo modelo de OpenAI encontró algo completamente distinto: una familia infinita de ejemplos matemáticos capaces de superar esa supuesta solución mediante una mejora polinómica.
Lo más sorprendente es que el sistema no fue diseñado específicamente para resolver este problema concreto ni fue entrenado exclusivamente para matemáticas avanzadas. Según OpenAI, el modelo formaba parte de una investigación más amplia destinada a evaluar si las nuevas inteligencias artificiales podían contribuir a descubrimientos científicos reales.
Los matemáticos externos que revisaron el trabajo verificaron la demostración y confirmaron que la solución es válida.
El resultado podría marcar un cambio profundo en la relación entre matemáticas e inteligencia artificial
Más allá de resolver un problema abierto, los investigadores consideran que este avance podría representar un cambio importante en la forma en que se hace investigación matemática.
Las matemáticas suelen considerarse uno de los mejores entornos para poner a prueba sistemas de razonamiento avanzado, porque los problemas poseen reglas estrictas y una demostración solo funciona si cada paso es correcto desde el inicio hasta el final.
Especialistas que analizaron el resultado destacaron que la demostración desarrollada por la IA incorporó conceptos sofisticados provenientes de la teoría algebraica de números para resolver una cuestión geométrica aparentemente sencilla.
El reconocido matemático Tim Gowers, ganador de la Medalla Fields, describió el trabajo como un «hito para las matemáticas impulsadas por inteligencia artificial». Otros investigadores señalaron que el resultado muestra capacidades que van más allá de actuar simplemente como herramientas de asistencia para humanos.
El matemático Arul Shankar afirmó que el trabajo sugiere que los modelos actuales son capaces de producir ideas originales y desarrollarlas hasta convertirlas en resultados reales.
Aun así, muchos investigadores consideran que esto no significa que las máquinas reemplazarán a los matemáticos. Más bien podría abrir una nueva etapa donde humanos e inteligencia artificial colaboren en la resolución de problemas extremadamente complejos.
La resolución de una histórica conjetura matemática mediante inteligencia artificial podría representar uno de los avances científicos más llamativos de los últimos años. Más allá de la respuesta obtenida, el verdadero impacto podría estar en demostrar que las máquinas comienzan a participar activamente en descubrimientos matemáticos, un terreno que durante siglos fue considerado exclusivamente humano.
Referencia:
- OpenAI/An OpenAI model has disproved a central conjecture in discrete geometry. Link
About the Author
