OpenAI hoy ha puesto oficialmente sobre la mesa la próxima familia de modelos, Astra. Una versión interna ha ejecutado en una sola pasada diez problemas abiertos de larga data, acumulados durante más de diez años, en direcciones como geometría de alta dimensión, teoría de la codificación, teoría de grupos y complejidad cuántica; además, incluye un artículo de 249 páginas y 62 páginas de ideas para resolverlos, y la prueba central también se ha formalizado en Lean 4. Según la tarifa de la API existente, el coste total estimado en tokens de razonamiento para estas diez preguntas es de aproximadamente 2000 dólares. Sam Altman ya ha demostrado en privado a los reguladores en Washington esta semana, y es muy probable que Astra se convierta en el primer caso de prueba del nuevo marco de revisión de IA del gobierno de Trump. En el ámbito académico todavía se debate si los resultados se sostienen por completo, pero el tema de la eficiencia en términos de capacidad de cómputo y coste realmente se ha redefinido. #OpenAI #NVDA #Revisión retrospectiva