O novo modelo da OpenAI, Astra, resolve 10 problemas matemáticos de longa data

Segundo monitoramento da Beating, a OpenAI anunciou oficialmente pela primeira vez seu próximo modelo principal, Astra. A versão interna obteve novos resultados em 10 problemas matemáticos e de ciência da computação teórica que permaneceram não resolvidos por muito tempo. As conclusões centrais desses problemas não avançaram pelo menos durante 10 anos, e muitos permaneceram estagnados por períodos ainda maiores. Alguns desses problemas foram diretamente resolvidos ou refutados. Astra construiu pela primeira vez um grupo não sofico, respondendo a uma questão fundamental em aberto na teoria dos grupos; também refutou a conjectura de rigidez de Connes e resolveu três problemas de Erdős. Outros resultados incluem novos limites superior e inferior e provas de dificuldade relacionadas a empacotamento de esferas, teoria da codificação, complexidade quântica e criptografia pós-quântica. A OpenAI afirmou que os tokens utilizados pelo modelo para encontrar esses 10 resultados equivalem a aproximadamente US$ 2.000, conforme o preço da API Sol. Essas demonstrações matemáticas foram geradas pelo Astra. Humanos posteriormente ajudaram a organizar os resultados em artigos, e o modelo converteu cada prova em um certificado Lean, permitindo que computadores verifiquem passo a passo a validade das deduções. A OpenAI já tornou públicos os artigos, os certificados de prova e o processo de raciocínio do modelo.