OpenAI ha ofrecido un adelanto de Astra, una familia de modelos aún no publicada diseñada para abordar problemas complejos que requieren un esfuerzo sostenido durante largos periodos. La empresa afirma que una versión interna del sistema contribuyó a 10 avances en matemáticas y ciencias de la computación teóricas.
En una actualización de investigación, OpenAI afirmó que no se habían producido avances en los resultados centrales de estos problemas durante al menos 10 años, y que algunos seguían sin resolverse desde hacía mucho más tiempo. El trabajo abarcó áreas como la geometría de alta dimensión, la teoría de códigos, la complejidad de circuitos aritméticos, la teoría de grupos, la complejidad cuántica, la criptografía basada en retículos y la combinatoria extremal.
OpenAI citó varios resultados como ejemplos, entre ellos trabajos relacionados con grupos no soficos, una refutación de la conjetura de rigidez de Connes, mejoras en las cotas para el empaquetamiento de esferas de alta dimensión y soluciones a varios problemas asociados con el matemático Paul Erdős. La empresa calculó que generar las soluciones requirió aproximadamente 2.000 dólares en uso del modelo, según las tarifas de la API de Sol.
La verificación formal fue parte del proceso
Los investigadores humanos utilizaron los resultados del modelo para desarrollar manuscritos matemáticos formales. A continuación, Astra tradujo cada argumento en un certificado para Lean, un asistente de demostración que puede comprobar mecánicamente si el razonamiento formalizado es válido. Este paso adicional de verificación pretende distinguir las conjeturas o los argumentos generados por máquinas de las demostraciones que pueden ser comprobadas de forma independiente por un software.
OpenAI describió Astra como su «próximo gran modelo», pero no ha anunciado una fecha de lanzamiento ni el nombre definitivo del producto. La información publicada por The Information también indica que la empresa está desarrollando una familia de modelos orientada a cargas de trabajo prolongadas, incluidas tareas en las que agentes de IA dividen entre sí partes de un problema más amplio.
La marca y la disponibilidad definitivas del modelo aún no están decididas. Según los informes, podría aparecer como GPT-5.7, GPT-6 o con otro nombre. OpenAI también podría ofrecer ampliamente una versión menos capaz y restringir el acceso a variantes más potentes, de forma similar a las políticas de seguridad y acceso utilizadas por otras empresas de IA.
Los logros matemáticos señalados ponen de relieve el potencial de los sistemas capaces de combinar razonamiento prolongado, colaboración y verificación formal. Sin embargo, las afirmaciones de OpenAI se refieren a investigaciones internas y deberán evaluarse más a fondo cuando se disponga de detalles técnicos adicionales, resultados que puedan ser revisados de forma independiente e información sobre el producto.