A OpenAI disse que seu próximo modelo de IA de geração, o Astra, fez avanços em matemática e ciência da computação teórica, cobrindo geometria de alta dimensão, teoria de codificação, teoria dos grupos, complexidade quântica, criptografia pós-quântica e combinatória extremal. De acordo com a Odaily, a empresa disse que o modelo produziu 10 resultados envolvendo empacotamento de esferas em alta dimensão, codificação binária e esférica, grupos não-sofic, a conjectura de rigidez de Connes, complexidade de circuitos aritméticos, repetição paralela quântica, o problema do vetor mais próximo, a conjectura do volume de Ehrhart, números de Ramsey multicoloridos e conjecturas de teoria extremal dos grafos.

Os resultados foram derivados por uma versão interna do Astra, e o custo computacional de encontrar as soluções foi de cerca de US$ 2.000 com base nos preços da Sol API. De acordo com a Odaily, pesquisadores humanos então usaram o mesmo modelo para ajudar a organizar o trabalho em um artigo e geraram certificados de prova verificáveis por meio do sistema formal de prova Lean.