El nuevo modelo de OpenAI, Astra, resuelve 10 problemas matemáticos de larga data

Según el monitoreo de Beating, OpenAI ha anunciado oficialmente por primera vez su próximo modelo principal, Astra. La versión interna ha logrado nuevos resultados en 10 problemas matemáticos y de ciencia de la computación teórica que llevaban mucho tiempo sin resolverse. Las conclusiones fundamentales de estos problemas no habían avanzado en al menos 10 años, y muchos habían estado estancados aún más tiempo. Algunos de estos problemas se resolvieron directamente o se refutaron. Astra construyó por primera vez un grupo no sofíc, respondiendo a una pregunta fundamental abierta en teoría de grupos; además, refutó la conjetura de rigidez de Connes y resolvió tres problemas de Erdős. Los demás logros incluyen nuevas cotas superiores e inferiores y pruebas de dificultad relacionadas con el empaquetamiento de esferas, la teoría de códigos, la complejidad cuántica y problemas de criptografía post-cuántica. OpenAI indica que los tokens utilizados por el modelo para encontrar estos 10 resultados equivalen a aproximadamente 2000 dólares según el precio de la API de Sol. Estas demostraciones matemáticas fueron generadas por Astra. Luego, humanos ayudaron a organizarlas en artículos, y el modelo convirtió cada prueba en un certificado Lean para permitir que los ordenadores verifiquen paso a paso la validez del razonamiento. OpenAI ha publicado los artículos, los certificados de prueba y el proceso de razonamiento del modelo.