OpenAI ha enseñado sus cartas antes de tiempo. En una demo privada para legisladores en Washington D.C., la compañía ha mostrado Astra, su próximo gran modelo de IA. No es un simple avance: ya ha resuelto diez problemas matemáticos que llevaban más de una década sin que nadie les hincara el diente.
La noticia ha corrido como la pólvora. Y con razón. Porque si esto es solo un adelanto, el lanzamiento oficial promete ser un terremoto en toda regla.
Lo que Astra ha conseguido (y por qué asusta un poco)
La lista de problemas abiertos que Astra ha tumbado es para impresionar: geometría de alta dimensión, teoría de códigos, complejidad cuántica, criptografía basada en retículos, combinatoria extremal… Palabras que suenan a examen final de doctorado. Y entre ellos, tres problemas del legendario Paul Erdős, el matemático húngaro que repartía cheques de 25 dólares por cada solución que nadie encontraba.
El truco no está solo en la potencia bruta. OpenAI combinó investigadores humanos con el modelo: los humanos redactaban argumentos, y luego Astra traducía las pruebas a Lean, un sistema de verificación formal, garantizando que todo fuera impecable. Es como tener a un corrector de exámenes incorruptible trabajando 24/7.
“Todos ellos revisten un gran interés para sus respectivas comunidades”, explicó la empresa en su blog oficial.
Astra no solo ha resuelto diez problemas que llevaban una década estancados, sino que lo ha hecho con un rigor que ningún revisor humano podría igualar.
Agentes colaborando como en una orquesta
Sam Altman aprovechó la reunión con los legisladores para detallar un aspecto clave: Astra permitirá que varios agentes de IA colaboren entre sí en distintas partes de un mismo problema. En la demo, varios agentes se coordinaron durante largos periodos para atacar problemas complejos. Es decir, un equipo de IAs que se reparten el trabajo y se corrigen mutuamente.
Esta arquitectura multiagente recuerda a otros proyectos como Anthropic con su modelo Claude, pero OpenAI insiste en que Astra es una familia de modelos completamente nueva, distinta a GPT-5. De hecho, la empresa ya maneja varias familias (Sol, Terra, Luna) y Astra sería la punta de lanza. El nombre GPT-6 suena tentador, aunque internamente se baraja también GPT-5.7. Lo que está claro es que estamos ante un salto generacional.
¿El inicio de una nueva era en la IA?
La jugada es maestra: mostrar a los políticos lo que puede hacer la IA más avanzada justo cuando Estados Unidos prepara un nuevo marco regulatorio. OpenAI busca la bendición antes del lanzamiento, y de paso, subir la apuesta frente a DeepSeek y compañía. Por ahora, una versión limitada podría llegar al público en los próximos meses, mientras que la más potente estaría restringida a unos pocos elegidos. Vamos, lo que viene siendo el estándar desde que la IA empezó a dar miedo.
El precedente más cercano es Claude Fable de Anthropic, que también usó una estrategia de lanzamiento escalonado. Pero Astra llega con una baza inédita: resolver problemas matemáticos históricos. No es que convenza a un humano mal informado, es que demuestra resultados verificables. Y eso cambia la conversación.
Hype-O-Meter
Nivel de hype: 9/10. OpenAI no solo promete, sino que enseña resultados tangibles en un campo donde el bluff es casi imposible. Si la versión pública mantiene el nivel, podríamos estar ante el modelo más revolucionario desde GPT-4. Eso sí, la sombra de la regulación y la exclusividad le restan un punto — nadie quiere otra caja negra para unos pocos.
El resumen para vagos (TL;DR)
- 🎯 ¿Qué ha pasado? OpenAI mostró Astra, su nuevo modelo, a legisladores de EE.UU. y confirmó que resolvió diez problemas matemáticos históricos.
- 🔥 ¿Por qué importa? Es la primera IA que demuestra capacidad para cerrar problemas abiertos con verificación formal, no solo para imitar respuestas.
- 🤔 ¿Nos afecta o es solo un meme? Afecta y mucho: si el lanzamiento sigue el plan, cualquier trabajo que requiera razonamiento complejo va a mirar de reojo a Astra.



