O próximo modelo da OpenAI, o Astra, resolveu 10 problemas de matemática ainda não solucionados — e custou apenas US$ 2.000 em compute.</p>

O próximo grande modelo da OpenAI tem nome — Astra — e sua estreia não veio por meio de uma coletiva de imprensa, mas escondida dentro de um post de pesquisa sobre matemática publicado em 1º de agosto. A empresa divulgou dez provas inovadoras geradas por uma versão interna do Astra, acompanhadas de um manuscrito de 249 páginas, walkthroughs passo a passo do raciocínio e certificados formais em Lean verificando cada resultado.

Os dez problemas que o Astra resolveu não tinham progresso significativo há pelo menos uma década, e a maioria estava travada há muito mais tempo. Os resultados abrangem geometria de alta dimensão, teoria de codificação, teoria de grupos, complexidade quântica, criptografia de reticulados e combinatória extremal — algumas das áreas ativas mais difíceis da matemática pura e da ciência da computação teórica.

O que o Astra realmente provou

Entre as conquistas mais significativas: o Astra refutou a conjectura de rigidez de Connes sobre álgebras de von Neumann, um problema que resistia desde os anos 1970. Ele provou a conjectura de volume de Ehrhart e resolveu três problemas do famoso catálogo de problemas em aberto de Paul Erdős, incluindo o problema #183 de Erdős sobre números de Ramsey multicoloridos. O modelo também produziu a primeira melhoria no limite superior geral da densidade de empacotamento de esferas em alta dimensão desde 1978 — mais de 45 anos sem progresso nesse resultado.

Outras provas incluíram um teorema de repetição paralela para jogos quânticos de dois jogadores e novos limites inferiores na complexidade de circuitos para calcular o permanente. A existência de grupos não-soficos, uma questão fundamental na teoria geométrica de grupos, também foi estabelecida.

Segundo a OpenAI, os argumentos matemáticos em si se originaram do Astra. Pesquisadores humanos então formalizaram as provas e as prepararam para publicação, mas o raciocínio central foi gerado por máquina. O custo total de compute para todas as dez soluções foi de aproximadamente US$ 2.000 nas taxas da API Sol — um número impressionante, considerando as décadas que pesquisadores passaram nesses problemas sem sucesso.

Um teaser, não um lançamento

A OpenAI não anunciou uma data de lançamento pública nem confirmou o nome final. O Astra pode chegar como GPT-5.7, GPT-6 ou sob outra designação completamente diferente. A empresa mencionou que acesso em camadas está sendo considerado, semelhante à estrutura de modelos da Anthropic.

Notavelmente, espera-se que o Astra seja o primeiro modelo revisado sob o novo framework de segurança de IA da administração Trump, que exige aprovação do governo federal antes que um modelo de fronteira possa ser lançado publicamente. Esse requisito adiciona um cronograma imprevisível ao que seria, de outra forma, um lançamento de produto direto.

A OpenAI já havia dado uma prévia dessa capacidade em maio de 2026, quando um modelo interno de propósito geral usou ideias da teoria algébrica dos números para refutar a conjectura de unidade-distância de Erdős, que resistia há muito tempo. O lançamento de agosto deixa claro que não foi um caso isolado — era o Astra aprendendo a fazer matemática em um nível que excede o que a maioria dos especialistas humanos consegue realizar, em uma ampla gama de subcampos simultaneamente.

Como relatado primeiro pelo The Next Web, o anúncio efetivamente contrabandeou uma grande revelação de modelo para dentro do que parecia uma publicação de pesquisa de rotina.