En 1997, la victoria del ordenador Deep Blue sobre el campeón mundial de ajedrez Garri Kaspárov supuso un antes y un después en la relación entre la inteligencia humana y la artificial. Ahora, OpenAI parece estar a punto de protagonizar un episodio similar, pero esta vez en el ámbito de las matemáticas.
La compañía ha presentado Astra, una versión interna de su nuevo modelo de inteligencia artificial generativa, que según sus responsables ha conseguido resolver o avanzar notablemente en la solución de diez problemas matemáticos que permanecían abiertos desde hace al menos una década, y en muchos casos desde hace mucho más tiempo.
Un salto significativo en la inteligencia artificial aplicada a las matemáticas
Los problemas abordados por Astra incluyen desde el empaquetamiento de esferas en alta dimensión hasta cuestiones relacionadas con la criptografía basada en retículos. El coste computacional para alcanzar estos resultados ha sido inferior a 2.000 dólares en tokens, utilizando la API de GPT-5.6 Sol, lo que pone de manifiesto la eficiencia y potencia del modelo.
Este avance se suma a otros recientes logros en el campo, como la resolución en minutos de problemas clásicos por parte de GPT-5.4 o la contribución del modelo Fable 5 de Anthropic en la demostración de conjeturas centenarias. Figuras destacadas en matemáticas, como Terence Tao, han comenzado a integrar la inteligencia artificial como herramienta fundamental en la búsqueda de soluciones.
Metodología y validación de las demostraciones
El proceso seguido por OpenAI para validar las pruebas generadas por Astra ha combinado la capacidad del modelo con la supervisión humana. Mientras Astra generaba argumentos matemáticos, expertos en la materia los transformaban en manuscritos formales que posteriormente se verificaban mediante certificados Lean, un sistema automatizado que garantiza la corrección de las demostraciones.
Además, OpenAI ha publicado un documento generado por la propia inteligencia artificial que detalla el razonamiento seguido en cada prueba, aportando transparencia al proceso.
Reacciones en la comunidad científica
El anuncio ha generado tanto asombro como cautela entre los expertos. Algunos investigadores han celebrado los resultados como un hito, mientras que otros han pedido prudencia y una revisión exhaustiva por parte de matemáticos humanos antes de aceptar plenamente las demostraciones.
Se han señalado posibles errores en al menos una de las pruebas, y se ha sugerido que sería conveniente publicar también los problemas que Astra no ha conseguido resolver para evaluar con mayor precisión sus capacidades reales.
Un nuevo capítulo en la competencia entre modelos de inteligencia artificial
El lanzamiento de Astra coincide con recientes afirmaciones de Anthropic sobre su modelo Mythos Preview, que ha identificado nuevas vulnerabilidades criptográficas tras una inversión considerable en tokens. Esta carrera por demostrar la superioridad de sus sistemas en distintas áreas, desde la seguridad hasta las matemáticas, refleja la rápida evolución y competencia en el sector de la inteligencia artificial.
- ¿Qué es Astra? Astra es un modelo interno de inteligencia artificial generativa desarrollado por OpenAI, diseñado para abordar y resolver problemas matemáticos complejos.
- ¿Qué tipo de problemas ha resuelto? Ha avanzado o resuelto diez problemas matemáticos abiertos durante décadas, incluyendo temas de alta complejidad como el empaquetamiento de esferas y criptografía.
- ¿Cómo se verifica la validez de las soluciones? Las demostraciones generadas por Astra son revisadas y formalizadas por expertos humanos y verificadas mediante certificados Lean, que automatizan la comprobación de la corrección matemática.
- ¿Significa esto que la inteligencia artificial reemplazará a los matemáticos? No. Por el momento, la IA actúa como una herramienta que potencia el trabajo humano, aunque su capacidad para resolver problemas complejos está en rápido crecimiento.
La aparición de Astra representa un avance significativo en la aplicación de la inteligencia artificial a las matemáticas, un campo tradicionalmente resistente a la automatización. Si bien los resultados preliminares son prometedores, la comunidad científica insiste en la necesidad de un escrutinio riguroso para confirmar la validez de las demostraciones.
Este desarrollo podría marcar el inicio de una nueva era en la colaboración entre humanos y máquinas en la resolución de problemas científicos complejos. Con implicaciones que se extienden más allá de las matemáticas, hacia áreas como la criptografía, la física teórica y la ingeniería.
