OpenAI apresentou sua próxima grande família de modelos, Astra, ao divulgar a solução de 10 problemas de matemática, mesmo enquanto rivais chineses de pesos abertos conquistam uma fatia crescente do tráfego global de IA.
Principais pontos:
- A OpenAI revelou o Astra em 1º de agosto em um artigo de pesquisa que afirma solucionar 10 problemas em aberto havia pelo menos uma década.
- O modelo não tem data de lançamento, não teve o nome final confirmado e precisa passar por uma nova avaliação federal antes de chegar aos usuários.
- Modelos chineses de pesos abertos já concentram a maior parte dos tokens roteados, embora os laboratórios dos EUA ainda absorvam quase todo o gasto em IA.
Astra resolve 10 problemas matemáticos em aberto
A empresa batizou o modelo em 1º de agosto em um artigo sobre resultados em matemática, e não em um anúncio de produto.
Uma versão interna do Astra produziu novos resultados para 10 problemas em matemática e ciência da computação teórica, todos em aberto havia pelo menos dez anos.
A OpenAI divulgou um manuscrito de 249 páginas e certificados de prova em Lean 4 verificáveis por máquina no GitHub, sob licença aberta.
O principal destaque é a primeira construção explícita de um grupo não sófico, uma questão em teoria dos grupos em aberto desde 1999. Pesquisadores estimam que os tokens consumidos pelas 10 soluções custariam algo em torno de US$ 2.000, usando a tabela de preços de API do Sol, modelo carro-chefe atual da companhia.
Leia também: OpenAI levou influenciadores a um resort rural; seguidores reagiram mal
Matemáticos analisam as alegações de prova do Astra
Thomas Bloom, matemático da Universidade de Manchester que mantém um banco de dados público de problemas de Erdős, classificou o trabalho como uma grande notícia e o colocou acima do resultado em geometria que a OpenAI havia anunciado em maio.
Ele rejeita a ideia de que as máquinas estejam “substituindo” a matemática, lembrando que o sistema foi treinado em mais de um século de produção escrita de matemáticos humanos. Noam Brown, pesquisador da OpenAI, afirmou que a equipe também tentou — sem sucesso — resolver outras questões famosas. Nenhum dos Problemas do Milênio caiu, mas ele argumenta que cada tentativa consumiu relativamente pouco poder de computação e descreve o avanço como um passo importante no raciocínio científico.
Sam Altman apresentou uma prévia do sistema a parlamentares em Washington na semana passada, e o Astra deve ser o primeiro modelo avaliado sob um novo marco regulatório federal. A empresa ainda não definiu data de lançamento, nem se a família será rotulada como GPT-6 ou como mais uma variante do GPT-5.
Pesos abertos chineses redefinem a demanda por tokens
O cronograma importa porque o campo de pesos abertos deixou de esperar que laboratórios americanos tracem sozinho a fronteira da IA. O presidente da Nvidia, Jensen Huang, articulou no mês passado o apoio de vários gigantes de tecnologia dos EUA aos pesos abertos, enquanto o CEO da Anthropic, Dario Amodei, defendeu testes de segurança obrigatórios e controles de exportação mais rígidos para chips.
A chinesa Moonshot AI lançou o Kimi K3 em julho, com 2,8 trilhões de parâmetros e pesos abertos, promovido como o maior modelo aberto já construído até agora.
Na OpenRouter, a fatia de tokens roteados para modelos dos EUA caiu de cerca de 70% em junho de 2025 para algo próximo de 30% um ano depois. Em um grande gateway corporativo, porém, os laboratórios americanos ainda concentravam perto de 95% dos gastos em junho — e é precisamente essa diferença de receita que o Astra precisa defender.
Próximo artigo: Dogecoin testa suporte em US$ 0,05 antes de possível alta até US$ 0,12
