OpenAI presentó Astra, una versión interna de su próximo modelo de inteligencia artificial, que produjo diez resultados relacionados con problemas abiertos de matemáticas y ciencias de la computación. Los trabajos abarcan áreas como geometría, teoría de grupos, computación cuántica, criptografía y combinatoria.
La compañía asegura que algunos de esos resultados resuelven problemas pendientes desde hace años, mientras que otros representan avances importantes o mejoran límites matemáticos conocidos. Entre los aportes mencionados se encuentran nuevos resultados sobre grupos no sóficos, circuitos aritméticos y tres problemas planteados por el matemático Paul Erdős.
Astra generó los argumentos iniciales y posteriormente trabajó junto con investigadores humanos para convertirlos en manuscritos más comprensibles. Además, las demostraciones fueron formalizadas mediante certificados en Lean, una herramienta que permite comprobar automáticamente si los razonamientos siguen correctamente las reglas lógicas establecidas.
El avance ha sido comparado con el histórico triunfo de la computadora Deep Blue sobre Garri Kaspárov, aunque los expertos advierten que los resultados todavía deben ser revisados de manera independiente. Astra tampoco está disponible públicamente, por lo que aún no se conoce su desempeño general ni la cantidad de intentos necesarios para lograr estos diez resultados.
