En un sorprendente anuncio el 1 de agosto de 2026, OpenAI reveló que una versión interna de su próximo modelo principal, Astra, ha resuelto con éxito diez problemas que llevaban décadas sin solución en el ámbito de las matemáticas y la ciencia de la computación teórica. Este logro se consiguió con un coste computacional estimado de tan solo 2.000 dólares.
La importancia de esta noticia radica en la capacidad de Astra para abordar y resolver desafíos matemáticos de frontera, un área que tradicionalmente se ha considerado un bastión de la inteligencia humana. Los resultados fueron verificados mediante la publicación de pruebas formales de Lean en GitHub, lo que añade una capa de credibilidad y transparencia a estos avances. Entre los problemas resueltos se incluye una construcción que demuestra la existencia de grupos no sóficos, una cuestión central en la teoría de grupos, así como nuevos límites superiores para la densidad del empaquetamiento de esferas hasta el umbral de Cohn-Elkies.
Expertos del sector han reaccionado con asombro. El matemático Timothy Gowers, ganador de la Medalla Fields, ha declarado que recomendaría sin dudarlo una de las pruebas generadas por la familia de modelos de Astra para su publicación en una revista de primer nivel. Este respaldo subraya el rigor y la calidad del trabajo realizado por la IA.
Las implicaciones para la investigación científica y el desarrollo de la IA son profundas. Este avance sugiere que los modelos de IA no solo pueden automatizar tareas o generar contenido, sino que también pueden actuar como verdaderos colaboradores en la investigación fundamental, acelerando el descubrimiento en campos complejos. La capacidad de resolver problemas matemáticos no resueltos abre la puerta a nuevas metodologías en la investigación y a una comprensión más profunda de la capacidad de razonamiento de las máquinas.
De cara al futuro, este logro posiciona a Astra como un modelo de IA de capacidad excepcional y eleva las expectativas sobre el tipo de problemas que la inteligencia artificial podrá abordar en los próximos años. La comunidad científica estará atenta a la disponibilidad pública de Astra y a cómo este avance transformará los métodos de investigación en diversas disciplinas.