OpenAI anuncia Astra: su próximo modelo que resolvió 10 problemas matemáticos sin resolver
OpenAI reveló Astra, su próximo modelo mayor, demostrando su poder resolviendo diez problemas matemáticos que llevaban décadas abiertos
OpenAI ha revelado Astra, descrito como "nuestro próximo modelo mayor", tras lograr que una versión interna resolviera diez problemas abiertos en matemáticas y ciencias de la computación teórica que no habían registrado avances en sus resultados centrales durante al menos una década, y en la mayoría de los casos, mucho más tiempo.
Qué es Astra
Astra es una nueva familia de modelos de IA diseñada para tareas de larga duración. A diferencia de los chatbots actuales que responden en segundos, Astra está construida para trabajar en un mismo problema durante horas o incluso días, coordinando múltiples agentes que colaboran en diferentes partes de un problema mayor.
El CEO de OpenAI, Sam Altman, ya demostró Astra a políticos y reguladores en Washington D.C. La empresa destacó la capacidad del sistema para dividir tareas complejas en partes y asignarlas a agentes separados que se comunican entre sí. Las áreas de investigación incluyeron geometría de alta dimensión, teoría de códigos, complejidad de circuitos aritméticos, teoría de grupos, complejidad cuántica, criptografía de retículos y combinatoria extrema.
Los diez problemas resueltos
Los resultados abarcan múltiples campos de las matemáticas. Estos son los diez problemas que Astra resolvió:
| # | Resultado | Campo |
|---|---|---|
| 1 | Cotas superiores para densidad de empaquetado de esferas hasta el umbral de Cohn-Elkies | Geometría de alta dimensión |
| 2 | Cotas exponencialmente mejoradas para tamaño de códigos binarios y esféricos | Teoría de códigos |
| 3 | Construcción que demuestra la existencia de grupos no sóficos | Teoría de grupos |
| 4 | Refutación de la conjetura de rigidez de Connes | Álgebras de operadores |
| 5 | Nuevas cotas inferiores para computar el permanente, incluyendo una cota de orden n⁴/log n | Complejidad de circuitos aritméticos |
| 6 | Repetición paralela exponencial para juegos cuánticos de dos jugadores | Complejidad cuántica |
| 7 | Dureza de aproximación en factor polinomial para el problema del vector más cercano | Criptografía de retículos |
| 8 | Volumen máximo de un cuerpo convexo cuyo centroide es su único punto de retículo interior | Conjetura de volumen de Ehrhart |
| 9 | Cota inferior superexponencial para números de Ramsey multicoloreados de triángulos (Erdős 183) | Combinatoria extrema |
| 10 | Conjeturas de compacidad y degeneración (Erdős 146 y 180) | Teoría extrema de grafos |
Pruebas verificables por máquina
Uno de los aspectos más impresionantes es que Astra formalizó cada demostración en Lean 4, un lenguaje de prueba formal que permite verificar matemáticamente la corrección de los argumentos por computadora. OpenAI publicó un manuscrito de 249 páginas junto con los certificados verificables y una narración del proceso de razonamiento del modelo para cada solución.
El costo total de cómputo para encontrar las diez soluciones fue de aproximadamente 2.000 dólares a las tarifas de la API de Sol, según OpenAI. Un precio notablemente bajo para resultados que representan avances significativos en múltiples campos matemáticos.
El contexto matemático
Este anuncio se suma a una serie reciente de descubrimientos matemáticos hechos por IA. En mayo, un modelo de OpenAI resolvió una conjetura de Paul Erdős que llevaba décadas abierta. El mes pasado, Claude Fable 5 encontró un contraejemplo a la conjetura jacobiana, que había resistido casi un siglo.
Abhishek Saha, matemático de Queen Mary University of London, calificó los resultados como "la demostración más impresionante de la destreza matemática de IA hasta la fecha". Saha señaló que cualquiera de los diez resultados sería un logro significativo por sí solo, y se mostró optimista: "no me sorprendería si, en dos o tres años, pueden construir suficiente teoría nueva para resolver las preguntas más profundas".
Cómo se compara con los modelos actuales
Los modelos de chat actuales funcionan como un bateador de Twenty20: llega, golpea y vuelve al pabellón en un minuto. Astra está diseñado para el quinto día de un partido de test cricket: debe batear sesiones largas, aguantar el desgaste y seguir ahí cuando el terreno empieza a girar.
Esta capacidad de trabajo prolongado es lo que distingue a Astra de modelos como GPT-5 o Claude Sonnet. El jefe de ciencia de OpenAI, Jakub Pachocki, dijo el verano pasado que la empresa quiere construir sistemas de IA que puedan trabajar en un problema durante horas o días. Los sistemas actuales están limitados a tareas cortas, pero OpenAI busca modelos que puedan planificar, razonar y experimentar en horizontes temporales más largos.
Astra se une a Sol, Terra y Luna
Astra forma una nueva clase de modelos junto a las familias existentes de OpenAI: Sol, Terra y Luna. Los nombres completan un conjunto astronómico: sol, tierra, luna y estrellas. Sin embargo, OpenAI aún no ha decidido si Astra se lanzará como GPT-6 o como una versión intermedia dentro de la línea GPT-5, como GPT-5.7. Tampoco hay fecha de lanzamiento confirmada.
El primer modelo bajo revisión regulatoria
Los modelos ya están en fase de pruebas y se espera que sean los primeros en pasar por el nuevo marco de IA del gobierno de Estados Unidos, que requiere que los modelos de IA sean sometidos al gobierno federal antes de su lanzamiento público. La administración busca finalizar el marco pronto.
El marco, establecido por una orden ejecutiva firmada el 2 de junio de 2026, crea un sistema voluntario bajo el cual un desarrollador puede pedir al gobierno que evalúe si un modelo califica como "modelo frontera cubierto", dar al gobierno acceso hasta 30 días antes del lanzamiento planificado y ayudar a seleccionar revisores de confianza.
La ambición de OpenAI: un investigador autónomo para 2028
Astra encaja en la visión a largo plazo de OpenAI. Para marzo de 2028, la empresa quiere tener un investigador de IA totalmente autónomo que pueda ejecutar proyectos de investigación por su cuenta. Ya en septiembre de 2026, planean tener un sistema de IA con habilidades de nivel pasante de investigación que aceleraría significativamente el trabajo de los científicos humanos. Astra podría terminar siendo ese sistema.
Acceso para la comunidad académica
OpenAI también anunció que dará acceso gratuito a sus modelos frontera a 100.000 investigadores académicos hasta 2027, una movida que profundiza sus vínculos con la comunidad científica mientras concentra la infraestructura de investigación en su propia plataforma.
Por qué importa
El anuncio de Astra marca un punto de inflexión en la carrera de IA. Por primera vez, un modelo ha demostrado capacidad para resolver problemas matemáticos que resistieron a los humanos durante décadas, con pruebas verificables por máquina. Si Astra puede mantener esta capacidad de razonamiento prolongado en otros dominios —no solo matemáticas—, el impacto en ciencia, ingeniería y programación podría ser transformacional.
Para Latinoamérica, el acceso gratuito para investigadores académicos es una oportunidad: universidades y centros de investigación de la región podrían acceder a modelos frontera sin costo, acelerando la investigación local en IA, matemáticas y ciencias de la computación.