OpenAI nombra Astra como próxima familia de modelos principal; versión interna resolvió 10 problemas matemáticos abiertos

OpenAI anunció el 1 de agosto de 2026 que su próxima familia de modelos principales se llama Astra, construida para manejar tareas de larga duración y problemas complejos coordinando múltiples agentes trabajando juntos durante períodos extendidos. Una versión interna de Astra resolvió diez problemas abiertos en matemática e informática teórica: problemas en los que los matemáticos no han hecho progreso durante al menos una década, y mucho más en la mayoría de casos. OpenAI publicó pruebas formales en Lean para cada solución y lanzó un recorrido del proceso de razonamiento del modelo para cada problema.

El modelo consumió aproximadamente $2.000 en tokens a la tasa de API GPT-5.6 Sol para generar las diez soluciones. Astra aún no está disponible públicamente y no tiene precio o fecha de disponibilidad anunciados. El CEO Sam Altman ha mostrado Astra a políticos y reguladores en Washington, D.C. Los modelos están siendo probados y serán los primeros en pasar por un proceso de revisión gubernamental planificado que requiere aprobación oficial antes del lanzamiento público. OpenAI no ha confirmado si Astra será marcado como GPT-6 o como otro lanzamiento de punto GPT-5.

Para practicantes, Astra señala un cambio en la estrategia de modelos de OpenAI: de productos lanzados a sistemas agentivos de larga duración que razonan durante horas o días y pueden resolver problemas previamente intratables. El avance matemático demuestra que el compute en tiempo de prueba se puede aprovechar mucho más allá de los modelos lanzados actualmente. El proceso de revisión gubernamental indica que la implementación de modelos de IA de frontera ahora puede enfrentar supervisión regulatoria antes de la disponibilidad pública, un cambio estructural en cómo los laboratorios de frontera lanzan.