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 se quedan con una porción 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 asegura 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 concentran ya la mayoría de los tokens enrutados, aunque los laboratorios estadounidenses siguen capturando casi todo el gasto.
Astra resuelve 10 problemas matemáticos abiertos
La compañía bautizó al modelo el 1 de agosto en una publicación de investigación sobre matemáticas, no en un anuncio de producto.
Una versión interna de Astra obtuvo nuevos resultados en 10 problemas de matemáticas y de teoría de la computación, cada uno sin solución desde hacía, como mínimo, una década.
OpenAI publicó un manuscrito de 249 páginas y certificados de demostración verificables por máquina en Lean 4 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 seguía abierta desde 1999. Los investigadores calculan que los tokens necesarios para las 10 soluciones habrían costado en torno a 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ó a influencers a un resort rural y sus seguidores reaccionaron con dureza
Los matemáticos evalúan las pruebas de Astra
Thomas Bloom, matemático de la Universidad de Manchester que mantiene 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 geométrico 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ó al intentar resolver otras cuestiones célebres. Ningún problema del Premio del Milenio cayó esta vez, aunque argumentó que cada intento consumió relativamente poco cómputo y calificó el esfuerzo como un paso importante para el razonamiento científico.
Sam Altman mostró en primicia el sistema a legisladores en Washington la semana pasada, y Astra debería ser el primer modelo revisado bajo un nuevo marco federal. La compañía no ha fijado fecha de lanzamiento ni ha decidido si la familia llegará al mercado como GPT-6 o como otra variante de GPT-5.
Los pesos abiertos chinos reconfiguran la demanda de tokens
Ese calendario importa, porque el bloque de pesos abiertos ha dejado de esperar a que los laboratorios estadounidenses marquen la frontera tecnológica. El director ejecutivo de Nvidia, Jensen Huang, logró alinear el mes pasado a varios gigantes tecnológicos de EE. UU. en favor de los pesos abiertos, mientras que el consejero delegado de Anthropic, Dario Amodei, pidió pruebas de seguridad obligatorias y controles de exportación más estrictos sobre 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 aproximadamente el 70% en junio de 2025 a cerca del 30% un año más tarde. Los laboratorios norteamericanos siguieron capturando casi el 95% del gasto en una gran pasarela empresarial en junio, y es precisamente ese diferencial de ingresos lo que Astra está llamada a defender.
Lea a continuación: Dogecoin se enfrenta al soporte de 0,05 dólares antes de un posible avance hacia 0,12 dólares
