OpenAI revela Astra tras resolver 10 problemas matemáticos de larga data

OpenAI ha presentado Astra, un próximo modelo de frontera diseñado para suceder a la serie GPT-5.6. Según se informa, una versión interna generó nuevos resultados para diez problemas de larga data en matemáticas e informática teórica.

OpenAI seleccionó problemas que habían experimentado poco o ningún progreso en sus resultados centrales durante al menos diez años. La compañía ha publicado ahora materiales complementarios para que los investigadores externos puedan examinar el trabajo del modelo.

Astra produjo los resultados a un coste relativamente bajo

OpenAI afirma que Astra no requirió cantidades excepcionalmente grandes de potencia de cómputo para producir los descubrimientos.

El uso combinado de tokens para las diez soluciones habría costado aproximadamente 2.000 $ a los precios de la API de GPT-5.6 Sol. Después de identificar las soluciones, Astra también ayudó a transformar los argumentos matemáticos en manuscritos de investigación.

Los costes reportados sugieren que la investigación matemática avanzada puede no requerir siempre presupuestos masivos de inferencia. Sin embargo, los investigadores independientes aún necesitan verificar los resultados y evaluar su importancia.

OpenAI utilizó Lean para verificar las demostraciones de Astra

Astra formalizó cada argumento matemático utilizando Lean, un lenguaje de programación y demostrador de teoremas diseñado para verificar demostraciones formales.

Los certificados de demostración resultantes permiten a las computadoras verificar cada paso lógico. Este proceso reduce la dependencia exclusiva de la revisión humana y puede ayudar a los investigadores a identificar vacíos ocultos o suposiciones incorrectas.

OpenAI está publicando los manuscritos de investigación, las demostraciones en Lean y las explicaciones generadas por el modelo para su examen independiente. Por lo tanto, los matemáticos pueden revisar tanto los argumentos escritos como sus versiones verificables por máquina.

Los investigadores revisarán ahora el trabajo de Astra

OpenAI está pidiendo a la comunidad matemática que examine las demostraciones de forma independiente y determine la importancia de cada resultado.

Los investigadores necesitarán confirmar que las demostraciones formales coinciden con las afirmaciones matemáticas previstas. También evaluarán si Astra introdujo técnicas realmente útiles que podrían conducir a más descubrimientos.

Los resultados podrían ofrecer una indicación temprana de cómo los modelos de IA de frontera pueden apoyar la investigación matemática avanzada. Su importancia más amplia dependerá de la verificación independiente y de la utilidad de los métodos que los sustentan.

En otras noticias de OpenAI, la compañía redujo recientemente los precios de la API de GPT-5.6 y publicó nuevos modelos de transcripción de voz.