OpenAI resuelve un problema de Pál Erdős que se resistía a los matemáticos desde hace 80 años

OpenAI ha anunciado la resolución de uno de los problemas abiertos más célebres de las matemáticas: el problema de las distancias unitarias de Pál Erdős. Este problema desconcertó a los mejores matemáticos del mundo durante 80 años, desde que se formuló en 1946. Según la compañía, la solución demuestra que los sistemas de IA actuales pueden realizar razonamientos matemáticos originales y crear nuevas demostraciones.

En qué consiste el problema

El problema pertenece al campo de la geometría discreta. Lo formuló el matemático húngaro Pál Erdős, uno de los matemáticos más prolíficos del siglo XX. Su enunciado es engañosamente sencillo: imagine que hay muchos puntos en un plano y que dos puntos cualesquiera están exactamente a una unidad de distancia entre sí. La pregunta es: ¿cuál es el número máximo de puntos de este tipo que puede existir?

Pese a la sencillez de su planteamiento, resultó ser uno de los problemas abiertos más tenaces de las matemáticas. Los mejores científicos del mundo intentaron resolverlo. Cada nueva mejora en la estimación del número de puntos exigía años de investigación intensiva y, a menudo, el desarrollo de métodos matemáticos completamente nuevos. En ocho décadas, el problema se convirtió en una leyenda dentro de la comunidad matemática: un símbolo de cómo un problema de apariencia simple puede esconder una profundidad increíble.

Cómo lo resolvió la red neuronal

OpenAI utilizó sus modelos más avanzados, con capacidades ampliadas de razonamiento lógico. El punto clave es que el modelo no se limitó a recorrer hechos matemáticos conocidos ni aplicó métodos estándar de manual. El sistema formuló por su cuenta una nueva hipótesis y desarrolló una demostración original, algo que hasta ahora se consideraba fuera del alcance de las redes neuronales.

La compañía subraya que no es la primera vez que una IA demuestra este tipo de capacidades. Pero cada nuevo ejemplo amplía los límites de lo que los modelos actuales pueden hacer en el terreno del pensamiento abstracto:

• Generación de demostraciones matemáticas originales
• Trabajo con lógica formal y verificación de la corrección de los razonamientos
• Creación de nuevos enfoques para problemas conocidos desde hace tiempo
• Verificación autónoma de sus propias cadenas lógicas
• Resolución de problemas que exigen un análisis abstracto profundo

Por qué es importante para la ciencia

En el plano académico, significa que por fin se ha resuelto uno de los problemas abiertos legendarios, que había permanecido sin solución durante ocho décadas. En cuanto al desarrollo de la IA, el logro evidencia un cambio fundamental: las redes neuronales actuales ya son capaces de realizar razonamientos matemáticos sustanciales, algo que antes se consideraba una prerrogativa exclusiva de la inteligencia humana.

Para los investigadores en IA, es una señal importante de que los modelos mejoran cada vez más en el pensamiento lógico abstracto. Esto abre la puerta a aplicar la IA en otros campos complejos que requieren pensamiento matemático original, desde la física teórica y la criptografía hasta la economía y la bioquímica.

Qué significa para el futuro

La resolución del problema de Erdős, con 80 años de antigüedad, es un hito en la evolución de la IA. Esta pasa del simple procesamiento de patrones de texto y métodos conocidos a ejercer un pensamiento matemático formal y original. La IA ya no se limita a aplicar soluciones conocidas: es capaz de generar ideas nuevas y desarrollar demostraciones originales. Avances como este perfilan los límites de lo que será posible delegar en la inteligencia artificial en la investigación científica en los próximos años y décadas.