¿Qué ocurre cuando se le da a una inteligencia artificial un problema que ha desafiado a las mentes más brillantes durante 80 años? Parece que la respuesta es: encontrar una solución que nadie vio venir.

OpenAI ha anunciado esta semana un avance que ha hecho que matemáticos de élite levanten la cabeza y tomen nota. Su modelo de razonamiento de propósito general no solo ha abordado, sino que según la empresa ha disprobado una famosa conjetura de geometría discreta planteada por Paul Erdős en 1946. Y esta vez, no se trata de un error embarazoso como el del pasado.

Un Problema de Ochenta Años, una Solución Nunca Vista

La conjetura, conocida como el problema de la distancia unitaria de Erdős, es engañosamente simple: coloca n puntos en un plano y cuenta cuántos pares están exactamente a una unidad de distancia. Durante décadas, la intuición matemática favorecía a las construcciones en forma de cuadrícula como las mejores soluciones posibles.

Aquí es donde entra la IA. OpenAI afirma que su modelo ha encontrado una familia infinita completamente nueva de arreglos de puntos que superan a esas cuadrículas. La empresa publicó en X: «Un modelo de OpenAI ha refutado esa creencia, descubriendo una familia de construcciones completamente nueva que funciona mejor».

«Durante casi 80 años, los matemáticos creyeron que las mejores soluciones posibles se parecían más o menos a cuadrículas», publicó OpenAI.

¿Por Qué Esta Vez es Diferente?

Si esto te suena, es porque hace siete meses, el entonces vicepresidente de OpenAI, Kevil Weil, anunció prematuramente que GPT-5 había resuelto problemas de Erdős, solo para que se revelara que había encontrado soluciones ya existentes en la literatura. Las burlas de rivales como Yann LeCun y Demis Hassabis de Google DeepMind siguieron, y la publicación fue eliminada.

Pero esta vez, OpenAI vino preparado. Junto con el anuncio, publicaron declaraciones de respaldo de matemáticos de renombre como Noga Alon, Melanie Wood y Thomas Bloom, quien mantiene el sitio web de Problemas de Erdős y anteriormente llamó a la publicación de Weil una «dramática tergiversación».

Thomas Bloom dijo en un comunicado: «La IA nos está ayudando a explorar más completamente la catedral de las matemáticas que hemos construido a lo largo de los siglos. ¿Qué otras maravillas invisibles están esperando entre bastidores?»

Un Modelo General, no un Solucionador Especializado

Lo más llamativo es que, según OpenAI, la prueba no provino de un sistema diseñado específicamente para resolver problemas matemáticos. Provino de un nuevo modelo de razonamiento de propósito general. La compañía dice que esto marca «la primera vez que la IA ha resuelto de forma autónoma un problema abierto prominente central para un campo de las matemáticas».

Esto es significativo porque significa que los sistemas de IA son ahora más capaces de mantener cadenas largas y difíciles de razonamiento y conectar ideas entre campos de maneras que los investigadores quizás no habían explorado previamente.

Un Triunfo de la Colaboración Humano-IA

La reacción de la comunidad matemática es clave. Tim Gowers, ganador de la Medalla Fields, llamó al resultado un «hito en las matemáticas de la IA», posicionándolo como uno de los primeros casos claros de IA resolviendo independientemente un famoso problema matemático abierto.

Scientific American informó que el matemático Daniel Litt lo llamó el resultado más «interesante y único producido de forma autónoma por la IA hasta ahora». El artículo describió el resultado como la primera prueba de IA de un tipo que probablemente sería publicable en una revista matemática de primer nivel si los humanos la hubieran producido solos.

Pero, ¿descubrió o ensambló el modelo? La respuesta parece ser ambas. El artículo técnico acompañante, firmado por nueve matemáticos, explica que el argumento se basa en ideas que, «al menos en retrospectiva», se remontan a trabajos previos de otros investigadores.

Esto significa que los ingredientes ya estaban en las matemáticas. La IA actuó como un curador magistral, ensamblando trabajos que las personas ya habían reunido en fragmentos. The Times describió el resultado como extraído de áreas inesperadas, incluida la teoría algebraica de números.

Más Allá de las Matemáticas: Un Nuevo Paradigma

Este avance apunta hacia una nueva división del trabajo. En lugar de tratar a la IA como una tecnología amenazante, los matemáticos comienzan a verla como una colaboradora. Los modelos pueden proponer construcciones inusuales y los expertos humanos pueden decidir si son reales, si importan y si revelan un principio.

Esta visión es similar al papel que juega la IA en el desarrollo farmacéutico y la investigación médica, donde se utiliza para proporcionar opciones y posibilidades que los humanos ponen a prueba.

Con este anuncio, OpenAI argumenta que la IA puede hacer más que solo escribir, programar, resumir y enseñar. Ve su papel como un colaborador genuinamente útil en algunos de los problemas más grandes que enfrenta la humanidad. Las matemáticas son un buen caso de prueba porque las nuevas ideas y pruebas se pueden verificar rigurosamente y línea por línea.

El resultado final es este: un modelo de IA ha aportado una idea lo suficientemente poderosa como para desbaratar una creencia de ocho décadas y ha reunido a matemáticos de élite para refinar y validar su trabajo. No es el final de las matemáticas humanas, sino quizás el comienzo de una de sus colaboraciones más productivas.