OpenAI presentó un nuevo modelo de inteligencia artificial llamado Astra, diseñado para tareas complejas y de larga duración. Este modelo ha logrado avances significativos al resolver problemas de matemáticas y ciencias de la computación teórica que no habían sido resueltos en una década. OpenAI describió a Astra como el 'siguiente gran modelo' y señaló que este modelo puede trabajar en una amplia gama de áreas, incluyendo geometría de alta dimensión, teoría de la codificación, complejidad de circuitos aritméticos, teoría de grupos, complejidad cuántica, criptografía de lattices y combinatoria extrema.
Astra puede formalizar los argumentos preparados por investigadores humanos como certificados Lean, generando pruebas que pueden ser verificadas por sistemas de verificación matemática. OpenAI mencionó que el número de tokens utilizados para desarrollar Astra, según las tarifas de la API Sol, fue de aproximadamente 2.000 dólares. Astra podría lanzarse al mercado como GPT-5.7 o GPT-6, y se sugiere que OpenAI está considerando la posibilidad de ofrecer una versión de este modelo a los consumidores, aunque una variante más potente podría requerir una aprobación especial.
OpenAI indicó que Astra es parte de una nueva familia de modelos diseñados para cargas de trabajo de larga duración y que este modelo permitirá que agentes de inteligencia artificial que trabajan en diferentes departamentos colaboren entre sí.