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

OpenAI ha revelado Astra, un próximo modelo de frontera diseñado para suceder a la serie GPT-5.6. Una versión interna supuestamente generó nuevos resultados para diez problemas de larga data en matemáticas y ciencias de la computación teórica.

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

Astra produjo los resultados a un costo relativamente bajo

OpenAI afirma que Astra no requirió cantidades inusualmente 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 dólares a los precios de la API de GPT-5.6 Sol. Tras identificar las soluciones, Astra también ayudó a transformar los argumentos matemáticos en manuscritos de investigación.

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

OpenAI utilizó Lean para verificar las pruebas de Astra

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

Los certificados de prueba 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 lagunas ocultas o suposiciones incorrectas.

OpenAI está publicando los manuscritos de investigación, las pruebas 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 pruebas de forma independiente y determine la importancia de cada resultado.

Los investigadores deberán confirmar que las pruebas formales coinciden con las afirmaciones matemáticas previstas. También evaluarán si Astra introdujo técnicas genuinamente útiles que podrían conducir a nuevos 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 subyacentes.

En otras noticias de OpenAI, la empresa redujo recientemente los precios de la API de GPT-5.6 y lanzó nuevos modelos de transcripción de voz.