Odaily Planet Daily News: A OpenAI divulgou pesquisas indicando que seu próximo modelo de IA, Astra, alcançou avanços nas áreas de matemática e ciência da computação teórica, incluindo geometria de alta dimensão, teoria da codificação, teoria dos grupos, complexidade quântica, criptografia pós-quântica e matemática combinatória extrema. Os 10 resultados divulgados abrangem: o problema do empacotamento de esferas de alta dimensão, problemas de codificação binária e esférica, o problema dos grupos não sofic, a conjectura de rigidez de Connes, o problema da complexidade de circuitos aritméticos, o problema da repetição paralela quântica, o problema do vetor mais próximo, a conjectura do volume de Ehrhart, o problema dos números de Ramsey multicoloridos e a conjectura da teoria extrema dos grafos.
Segundo relatos, esses resultados foram derivados pelo modelo Astra em versão interna, com um custo computacional aproximado de 2.000 dólares (com base no preço da API Sol). Posteriormente, pesquisadores humanos utilizaram o mesmo modelo para ajudar na organização do artigo e geraram certificados de prova verificáveis por meio do sistema de prova formalizada Lean.