OpenAI apresentou sua próxima grande família de modelos, Astra, por meio de dez problemas de matemática resolvidos, ao mesmo tempo em que rivais chineses de pesos abertos passam a capturar uma fatia crescente do tráfego global de IA.
Principais pontos:
- A OpenAI revelou o Astra em 1.º de agosto em um texto de pesquisa que reivindica a solução de dez problemas em aberto há pelo menos uma década.
- O modelo não tem data de lançamento, não possui nome definitivo e ainda precisa passar por uma nova revisão federal antes de chegar aos usuários.
- Modelos chineses de pesos abertos já respondem pela maior parte dos tokens roteados, embora os laboratórios dos EUA ainda concentrem quase todo o faturamento.
Astra resolve 10 problemas matemáticos em aberto
A empresa batizou o modelo em 1.º de agosto em um artigo de pesquisa sobre matemática, e não em um anúncio de produto.
Uma versão interna do Astra produziu novos resultados em dez problemas de matemática e de teoria da computação, todos eles sem solução havia ao 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 que permanecia em aberto desde 1999. Pesquisadores estimam que os tokens usados nas dez soluções custariam cerca de US$ 2.000, tomando por base as tarifas de API do Sol, o atual modelo carro‑chefe da empresa.
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 novidade e o colocou acima do resultado em geometria anunciado pela OpenAI em maio.
Ele rejeitou a ideia de que as máquinas estejam substituindo sua área, lembrando que o sistema foi treinado sobre mais de um século de produção escrita de matemáticos. Noam Brown, pesquisador da OpenAI, afirmou que a equipe também tentou — e fracassou — em várias outras questões famosas. Nenhum Problema do Prêmio Millennium foi resolvido, mas ele argumenta que cada tentativa consumiu relativamente pouco poder de computação e chamou o esforço de um avanço importante no raciocínio científico.
Sam Altman apresentou uma prévia do sistema a legisladores 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 decidiu se a família chegará ao mercado como GPT‑6 ou como mais uma variante do GPT‑5.
Pesos abertos chineses redefinem a demanda por tokens
O calendário importa porque o campo de pesos abertos deixou de esperar que laboratórios norte‑americanos definam a fronteira tecnológica. O presidente da Nvidia, Jensen Huang, alinhou vários gigantes de tecnologia dos EUA em apoio a pesos abertos no mês passado, 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 Moonshot AI lançou o Kimi K3 em julho, com 2,8 trilhões de parâmetros e pesos abertos, apresentado como o maior modelo aberto já construído.
Na OpenRouter, a fatia de tokens roteados para modelos dos EUA caiu de cerca de 70% em junho de 2025 para algo em torno de 30% um ano depois. Ainda assim, laboratórios americanos ficaram com perto de 95% da receita em um grande gateway corporativo em junho — e é exatamente esse fosso de faturamento que o Astra precisa defender.
Próximo artigo: Dogecoin testa suporte em US$ 0,05 antes de possível alta até US$ 0,12