OpenAI confirma 'Astra', su próxima gran familia de modelos, resolviendo diez problemas matemáticos abiertos de una vez

OpenAI ha confirmado oficialmente el nombre de su próxima gran familia de modelos, Astra, y ha publicado un informe matemático que muestra que una versión interna de Astra resolvió diez problemas previamente no resueltos en matemáticas y ciencias de la computación teórica. Los problemas abarcan áreas diversas como geometría de altas dimensiones, teoría de códigos, teoría de grupos, complejidad cuántica, criptografía de retículos y combinatoria extremal. Entre los problemas resueltos se incluye una prueba de la existencia de grupos no sóficos, una cuestión central abierta en teoría de grupos. El matemático Thomas Bloom, de la Universidad de Mánchester, calificó los resultados como 'grandes noticias' en X, valorándolos por encima del contraejemplo a la conjetura de la distancia unidad publicado en mayo. Noam Brown, figura clave detrás de la tecnología de razonamiento en tiempo de prueba subyacente a Astra, reconoció en X que OpenAI también falló en otros problemas importantes, incluidos los Problemas del Milenio, señalando que no dedicaron mucha potencia computacional por problema y que el cómputo en tiempo de prueba puede escalarse aún más. Brown describió a Astra como 'un gran paso para el razonamiento científico'. El costo computacional para las soluciones fue notablemente bajo: según OpenAI, los tokens requeridos habrían costado alrededor de 2.000 dólares a los precios de API del modelo Sol. Los argumentos fueron luego procesados por humanos junto con el mismo modelo para convertirlos en manuscritos, y cada prueba se formalizó en un certificado Lean, una confirmación verificable por máquina de la corrección matemática. OpenAI también publicó una narrativa del proceso de pensamiento del modelo para cada solución. La compañía aclaró que, aunque ayudaron con la preparación de manuscritos y la formalización y asumen la responsabilidad de la corrección, los argumentos matemáticos en sí provinieron del sistema, y reclamar autoría humana para una prueba generada íntegramente por IA sería tergiversar tanto la contribución del sistema como la naturaleza del verdadero trabajo intelectual humano, haciendo referencia a los firmantes de la Declaración de Leiden sobre IA y Matemáticas. Bloom relativizó la idea de que la IA reemplaza a los matemáticos, argumentando que no es apropiado decir eso cuando la IA se basa en más de un siglo de teoría matemática, fue construida por matemáticos y fue entrenada con todo lo que los matemáticos han escrito. Informes previos indicaron que el director ejecutivo, Sam Altman, demostró Astra a políticos y reguladores en Washington D.C., y que Astra es una nueva clase de modelo distinta de las familias existentes Sol, Terra y Luna, con la posibilidad de ser lanzado como GPT-6 o como una variante dentro de la serie GPT-5, como GPT-5.7. Se espera que Astra sea el primer modelo en someterse a un nuevo marco planificado por la administración Trump que requiere revisión del gobierno federal antes de su lanzamiento público. El modelo está diseñado para la colaboración multiagente durante períodos prolongados, con el objetivo de resolver proyectos complejos y tareas matemáticas avanzadas. OpenAI ha declarado su objetivo de desarrollar sistemas de IA que puedan trabajar en problemas durante horas o días, y para marzo de 2028 pretende completar un investigador de IA totalmente autónomo.