OpenAI presentó su próxima gran familia de modelos, Astra, a través de 10 problemas matemáticos resueltos, al tiempo que rivales chinos de pesos abiertos capturan una parte cada vez mayor del tráfico global de IA.
Puntos clave:
- OpenAI dio a conocer Astra el 1 de agosto en una nota de investigación que afirma haber resuelto 10 problemas abiertos desde hace al menos una década.
- El modelo no tiene fecha de lanzamiento, ni nombre definitivo, y deberá superar una nueva revisión federal antes de llegar a los usuarios.
- Los modelos chinos de pesos abiertos ya concentran la mayoría de los tokens enrutados, aunque los laboratorios estadounidenses siguen captando casi todo el gasto.
Astra resuelve 10 problemas matemáticos abiertos
La compañía bautizó al modelo el 1 de agosto dentro de una publicación de investigación matemática, y no mediante un anuncio de producto.
Una versión interna de Astra produjo nuevos resultados en 10 problemas de matemáticas y de teoría de la computación, todos ellos sin solución conocida desde hacía al menos diez años.
OpenAI publicó un manuscrito de 249 páginas y certificados de prueba en Lean 4 verificables por máquina en GitHub bajo una licencia abierta.
El resultado estrella es la primera construcción explícita de un grupo no sófico, una cuestión de teoría de grupos que llevaba sin respuesta desde 1999. Los investigadores estiman que los tokens utilizados para las 10 soluciones habrían costado unos 2.000 dólares a las tarifas de API de Sol, el modelo insignia actual de la compañía.
También puede interesar: OpenAI llevó influencers a un resort rural; sus seguidores reaccionaron con dureza
Los matemáticos evalúan las pruebas de Astra
Thomas Bloom, matemático de la Universidad de Mánchester y responsable de una base de datos pública de problemas de Erdős, calificó el trabajo como una gran noticia y lo situó por encima del resultado en geometría que OpenAI anunció en mayo.
Rechazó la idea de que las máquinas estén sustituyendo a su disciplina, subrayando que el sistema se entrenó con más de un siglo de textos escritos por matemáticos. Noam Brown, investigador de OpenAI, señaló que el equipo también fracasó en varios otros problemas célebres. Ningún Problema del Milenio cayó esta vez, aunque defendió que cada intento consumió relativamente poco cómputo y calificó el esfuerzo como un gran paso en razonamiento científico.
Sam Altman adelantó el sistema a legisladores en Washington la semana pasada, y Astra debería ser el primer modelo evaluado bajo un nuevo marco regulatorio federal. La empresa no ha fijado fecha de lanzamiento, ni ha decidido si la familia se comercializará como GPT-6 o como otra variante de GPT-5.
Los pesos abiertos chinos reconfiguran la demanda de tokens
El calendario importa, porque el bloque de pesos abiertos ha dejado de esperar a que los laboratorios estadounidenses definan la frontera tecnológica. El consejero delegado de Nvidia, Jensen Huang, alineó el mes pasado a varios gigantes tecnológicos de EE. UU. en favor de los pesos abiertos, mientras que el máximo ejecutivo de Anthropic, Dario Amodei, pidió pruebas de seguridad obligatorias y controles más estrictos a la exportación de chips.
Moonshot AI lanzó Kimi K3 en julio, con 2,8 billones de parámetros y pesos abiertos, presentado como el mayor modelo abierto construido hasta la fecha.
En OpenRouter, la cuota de tokens enrutados a modelos estadounidenses cayó de alrededor del 70 % en junio de 2025 a aproximadamente el 30 % un año después. Los laboratorios norteamericanos aún concentraban cerca del 95 % del gasto en una de las principales pasarelas empresariales en junio, y es precisamente esa brecha de ingresos la que Astra tendrá que defender.
Lea a continuación: Dogecoin se enfrenta al soporte de 0,05 dólares antes de un posible rally hacia 0,12 dólares