OpenAI apresenta futuro modelo Astra e divulga dez avanços em matemática e ciência da computação teórica

Os resultados resolvem problemas antigos e em aberto em áreas extremamente avançadas, como geometria de alta dimensão, computação quântica, criptografia pós-quântica e teorias dos códigos, dos grupos e dos grafos. O modelo também formalizou cada prova usando Lean, um sistema de verificação formal de provas matemáticas, mas os resultados ainda precisam passar por validação independente.