Una versión interna de Astra, el próximo gran modelo de OpenAI, obtuvo diez resultados que resuelven o permiten avanzar de forma sustancial en problemas abiertos desde hace años, informó la compañía. Los trabajos abarcan distintas áreas de las matemáticas y la informática teórica, desde la geometría hasta la criptografía.
Entre los resultados presentados por OpenAI figura la resolución de tres problemas formulados por el matemático Paul Erdős, identificados con los números 146, 180 y 183. La compañía también informó de nuevos resultados en el empaquetamiento de esferas, la teoría de códigos y un problema relacionado con la criptografía poscuántica.
Posteriormente, especialistas convirtieron los argumentos en manuscritos con ayuda de Astra, que después los formalizó en Lean, un programa capaz de comprobar automáticamente cada paso de una demostración matemática.
Según OpenAI, el número total de 'tokens' necesarios para hallar la solución de estos problemas habría supuesto un coste aproximado de 2.000 dólares con las tarifas de Sol API.
Para cada solución, la compañía publicó una descripción del proceso de razonamiento del modelo y manifestó su esperanza de que la comunidad matemática analice los resultados, los sitúe en contexto y desarrolle sus ideas mediante nuevas investigaciones. La compañía también publicó el trabajo principal, un documento de 249 páginas que contiene los resultados, sus formulaciones y las demostraciones matemáticas.
