IA de OpenAI resuelve problema matemático que desafió a humanos por 80 años

Un modelo de razonamiento interno de OpenAI ha logrado resolver un célebre problema de geometría combinatoria que permaneció sin solución durante casi 80 años. El avance, anunciado a finales de mayo de 2026, consiste en la refutación de una conjetura relacionada con el "problema de la distancia unitaria planar", planteado por el influyente matemático Paul Erdős en 1946. Este logro no solo representa la solución a un enigma matemático de décadas, sino que también establece un nuevo paradigma en las capacidades de razonamiento de la inteligencia artificial.

Un enigma de ocho décadas

El problema de la distancia unitaria, aunque complejo en su resolución, es relativamente simple de enunciar: para un conjunto de puntos en un plano, ¿cuál es el número máximo de pares que pueden estar separados por una misma distancia unitaria? Durante décadas, los matemáticos creyeron que la configuración más eficiente era una estructura similar a una cuadrícula. La conjetura de Erdős proponía que el número de estos pares crecería solo ligeramente más rápido que el número de puntos. Sin embargo, el modelo de IA de OpenAI demostró que esta idea era incorrecta.

La inteligencia artificial descubrió una familia de construcciones completamente nueva que supera el límite propuesto en la conjetura, revelando que existen configuraciones de puntos que generan muchas más distancias unitarias de las que se creían posibles. Lo más sorprendente es que la IA logró este resultado conectando conceptos de diferentes ramas de las matemáticas, un enfoque que había eludido a los investigadores humanos.

Validación y razonamiento original

Este hito es particularmente significativo porque no fue producto de un sistema entrenado específicamente para resolver problemas matemáticos, sino de un modelo de razonamiento de propósito general. A diferencia de la simple computación o el reconocimiento de patrones, la IA demostró una capacidad de razonamiento original para generar conocimiento nuevo. La solución fue verificada y validada por matemáticos externos, incluido Thomas Bloom, un experto que mantiene el sitio web de problemas de Erdős y que previamente había criticado a OpenAI por afirmaciones exageradas.

El logro anterior de OpenAI en este campo había sido desacreditado por basarse en literatura ya existente. Sin embargo, en esta ocasión, la prueba es original y ha sido reconocida por la comunidad matemática. En un artículo complementario, Bloom señaló que el sistema de IA alcanzó el resultado "perseverando por caminos que un humano podría haber descartado como que no valían la pena explorar".

El futuro de la investigación: Colaboración Humano-IA

Aunque la IA encontró la prueba de forma autónoma, el papel de los científicos humanos fue crucial. Los investigadores de OpenAI y otros matemáticos trabajaron para discutir, digerir y mejorar significativamente la demostración original producida por el modelo. Este proceso subraya un futuro en el que la colaboración entre la intuición humana y la capacidad de cómputo y razonamiento no convencional de la IA podría acelerar descubrimientos en diversos campos científicos.

Este avance se considera "el primero en el que un problema abierto prominente, central en un subcampo de las matemáticas, ha sido resuelto autónomamente por una IA". El evento no solo resuelve un viejo problema, sino que también abre la puerta a una nueva era de investigación científica, donde la inteligencia artificial actúa como una verdadera compañera en la búsqueda del conocimiento, explorando territorios conceptuales que para la mente humana son difíciles de alcanzar.