OpenAI dice que uno de sus modelos refutó una conjetura matemática, pero la celebración llega con cautela

OpenAI informó que uno de sus modelos internos logró refutar una conjetura central de la geometría discreta, vinculada al llamado problema de las distancias unitarias. El resultado, según la compañía, fue revisado por un grupo de matemáticos externos y representa un hito para el uso de inteligencia artificial en investigación científica.

El problema fue planteado por Paul Erdős en 1946 y pregunta algo que parece simple: si se colocan n puntos en un plano, ¿cuántos pares de puntos pueden estar exactamente a distancia 1? Aunque la pregunta puede explicarse con facilidad, ha sido uno de los problemas más conocidos y persistentes de la geometría combinatoria.

Durante décadas, la intuición dominante fue que ciertas construcciones basadas en cuadrículas eran esencialmente óptimas. Es decir, se pensaba que no podía haber configuraciones de puntos que mejoraran de forma significativa la cantidad de pares separados por distancia unitaria. El modelo de OpenAI encontró una familia infinita de ejemplos que contradice esa idea y produce una mejora polinómica.

El punto más importante no es solo que la IA haya encontrado una respuesta, sino cómo la encontró. De acuerdo con OpenAI, el resultado surgió de un modelo general de razonamiento, no de un sistema entrenado específicamente para ese problema, ni de una herramienta diseñada exclusivamente para buscar pruebas matemáticas. La prueba utiliza ideas sofisticadas de teoría algebraica de números para resolver una pregunta elemental de geometría.

La compañía sostiene que es la primera vez que una IA resuelve de forma autónoma un problema abierto prominente y central para un subcampo de las matemáticas. Matemáticos como Noga Alon, Tim Gowers, Arul Shankar y Jacob Tsimerman participaron en la evaluación o comentario del resultado, y el propio sitio de OpenAI enlaza tanto la prueba como un documento complementario escrito por especialistas externos.

El episodio también muestra el nuevo papel que podrían tener los modelos avanzados en la investigación científica. En matemáticas, una prueba no basta con “sonar convincente”: debe poder revisarse paso a paso. Por eso este caso importa más que una demostración espectacular de chat. Si el argumento resiste la revisión experta, la IA no solo estaría acelerando tareas de apoyo, sino participando en la generación de conocimiento nuevo.

La conclusión es delicada. No significa que los matemáticos humanos se vuelvan innecesarios. Al contrario: la interpretación, validación y contextualización del resultado siguen dependiendo de especialistas. Pero sí sugiere que los modelos de razonamiento pueden empezar a explorar rutas que la comunidad humana no había priorizado o no había logrado desarrollar.

Si este tipo de avances se repite, la investigación científica podría entrar en una etapa distinta: una donde los modelos no solo resumen literatura, programan experimentos o ayudan a redactar, sino que también proponen conexiones inesperadas entre campos distantes del conocimiento.

El matemático Timothy Gowers, quien participó en la revisión del resultado, dejó ver la dimensión emocional del anuncio. En X advirtió a otros matemáticos que quizá debían “sentarse” antes de leer la noticia: una IA había resuelto un problema abierto importante asociado con Erdős. Para expresar el sobresalto, recurrió a una escena de The Tale of Mr. Jeremy Fisher, de Beatrix Potter, aunque sustituyó la idea de que algo “peor” había ocurrido por algo “más perturbador”.

El comentario llamó la atención de Sam Altman, quien compartió la publicación y reconoció la ambivalencia del momento: dijo estar emocionado por la posibilidad de que la IA amplíe la comprensión humana del mundo, pero admitió tener “sentimientos complicados”. El episodio mostró que el resultado no fue recibido solo como una hazaña técnica, sino como una señal culturalmente incómoda para una comunidad acostumbrada a que los problemas abiertos fueran territorio exclusivo del pensamiento humano.