Un modelo de IA de OpenAI que todavía no ha sido lanzado al público, llamado Astra, resolvió 10 problemas matemáticos que llevaban sin solución hasta 40 años, y todo el cómputo necesario costó apenas unos $2,000.
En 30 segundos
- Astra, el próximo modelo insignia de OpenAI, resolvió 10 problemas matemáticos abiertos desde hace al menos una década.
- Uno de los hallazgos resolvió una pregunta sin respuesta desde 1999, planteada por el matemático Mikhail Gromov.
- El costo total de cómputo para las 10 soluciones fue de apenas unos $2,000, según estimó OpenAI.
- OpenAI publicó un manuscrito de 249 páginas con las pruebas verificadas de forma automática, sin ningún paso pendiente de comprobar.
- Astra todavía no tiene fecha de lanzamiento ni precio, y debe pasar una revisión de seguridad del gobierno de EE. UU. antes de estar disponible al público.
Diez acertijos que nadie había podido resolver
El 1 de agosto, OpenAI presentó a Astra, su próximo modelo de mayor capacidad, de una forma poco habitual: en lugar de anunciar una fecha de lanzamiento, mostró lo que el modelo es capaz de hacer. Astra resolvió 10 problemas matemáticos que abarcan teoría de grupos, geometría de alta dimensión, teoría de códigos, complejidad cuántica, criptografía basada en retículos y combinatoria extremal, todos ellos sin solución conocida durante al menos una década.
$2,000
Costo total estimado de cómputo que le tomó a Astra resolver los 10 problemas matemáticos, usando las tarifas actuales de la API de GPT-5.6 Sol.
¿Qué significa esto en términos simples?
Uno de los hallazgos más llamativos es la construcción explícita de un “grupo no sófico”, una pregunta que llevaba sin respuesta desde 1999, cuando el matemático Mikhail Gromov planteó por primera vez el concepto. Astra también refutó la conjetura de rigidez de Connes sobre álgebras de von Neumann, demostró la conjetura del volumen de Ehrhart, y resolvió tres problemas del catálogo del matemático Paul Erdős. Para verificar que las soluciones fueran correctas, OpenAI las tradujo a Lean 4, un lenguaje de programación que permite comprobar demostraciones matemáticas de forma automática y sin margen de error humano.
💡 ¿Cómo se “verifica” una demostración matemática con software?
Normalmente, cuando un matemático resuelve un problema, otros expertos revisan su trabajo a mano para confirmar que no haya errores, un proceso que puede tardar meses o años. Con Lean 4, cada paso lógico de la demostración se traduce a un lenguaje que una computadora puede comprobar automáticamente, eliminando la posibilidad de error humano en la revisión y acelerando drásticamente la confirmación de resultados complejos.
¿Por qué importa?
Para las personas
Aunque estos problemas son extremadamente abstractos y lejanos del día a día, avances como este suelen filtrarse eventualmente hacia aplicaciones prácticas en criptografía, seguridad informática y otras áreas que sí afectan a los usuarios comunes.
Para las empresas
Que resolver 10 problemas matemáticos de este nivel haya costado solo $2,000 en cómputo es una señal de que ese tipo de investigación ya está al alcance de cualquier laboratorio con financiamiento, no solo de gigantes tecnológicos con presupuestos masivos.
Para los mercados
El anuncio refuerza la narrativa de que la carrera de la inteligencia artificial sigue acelerando en capacidades de razonamiento avanzado, un área donde OpenAI compite directamente con Anthropic, Google DeepMind y otros laboratorios líderes.
| Modelo | Estado |
|---|---|
| Sol / Terra / Luna | Disponibles públicamente desde julio 2026 |
| ChatGPT Work | Disponible, ejecuta proyectos de varias horas |
| Astra | Sin fecha de lanzamiento, pendiente de revisión de seguridad |
Contexto
Astra llega después de que OpenAI reestructurara en julio su oferta de modelos en niveles de capacidad —Sol, Terra y Luna— y lanzara ChatGPT Work, un sistema capaz de ejecutar proyectos complejos de varias horas de duración. A diferencia de esos productos ya disponibles, Astra todavía no tiene fecha de lanzamiento, precio, ni ha superado la revisión de seguridad gubernamental que Estados Unidos exige para modelos de esta capacidad.
¿Qué viene ahora?
OpenAI no ha confirmado cuándo Astra podría estar disponible públicamente. Mientras tanto, la comunidad matemática y de ciencias de la computación puede revisar por su cuenta las pruebas publicadas en GitHub bajo licencia abierta, lo que permite a cualquier experto verificar de forma independiente los resultados.
En resumen
Qué pasó: El modelo Astra de OpenAI resolvió 10 problemas matemáticos sin solución desde hace hasta 40 años, por unos $2,000 de cómputo.
Por qué importa: Demuestra un salto en las capacidades de razonamiento de la IA y reduce drásticamente el costo de ese tipo de avances científicos.
Qué viene ahora: Astra debe pasar una revisión de seguridad gubernamental antes de tener fecha de lanzamiento público.