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

OpenAI ha revelado Astra, un modelo de frontera próximo 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 y ciencias de la computación teórica.

OpenAI seleccionó problemas que habían visto poco o ningún progreso en sus resultados centrales 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 coste relativamente bajo

OpenAI afirma que Astra no requirió cantidades inusualmente grandes de potencia de cálculo 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 de inferencia masivos. Sin embargo, los investigadores independientes aún necesitan verificar los resultados y evaluar su importancia.

OpenAI usó 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 comprobar pruebas formales.

Los certificados de prueba resultantes permiten a los ordenadores verificar cada paso lógico. Este proceso reduce la dependencia de la revisión humana por sí sola y puede ayudar a los investigadores a identificar lagunas ocultas o suposiciones incorrectas.

OpenAI está publicando los manuscritos de investigación, las pruebas de 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 más descubrimientos.

Los resultados podrían proporcionar 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.