TLDR;

A Astra é o próximo modelo principal da OpenAI ainda não lançado que resolveu dez problemas matemáticos abertos por décadas.. Astra não é confirmada como GPT-6 e circula apenas como rumor de pertencer à série GPT-5.6.. Astra solucionou questões como o problema de grupos não Sufic de 1999 e três da lista de Erdős com certificados Lean verificáveis no GitHub por cerca de dois mil dólares em computação.

Resumo

O modelo Astra, da OpenAI, resolveu dez problemas complexos de matemática e ciência da computação que estavam sem solução há pelo menos dez anos, sendo que um deles desafiava matemáticos há 27 anos. Com custo aproximado de dois mil dólares em computação, a IA conseguiu responder questões listadas por Mikhail Gromov e Paul Erdős, além de melhorar limites de empacotamento de esferas não alterados desde 1978. Todos os resultados foram validados por certificados Lean publicados no GitHub, permitindo verificação independente por qualquer pessoa. Especialistas como Sebastian Bubeck e Thomas Bloom consideraram as conquistas relevantes. O episódio reforça que a capacidade de raciocínio da IA está avançando rapidamente, transformando tarefas intelectuais antes exclusivas de humanos em algo acessível por baixo custo. Circulam rumores de que Astra pode ser uma versão do GPT-5, embora não confirmados. Por outro lado, a comunidade matemática expressa preocupações por meio da Declaração de Leiden sobre o uso de pesquisas sem consentimento e a falta de revisão por pares.