OpenAI apresentou sua próxima grande família de modelos, Astra, por meio de 10 problemas de matemática resolvidos, justamente quando rivais chineses de peso aberto avançam rapidamente na fatia de tráfego global de IA.
Pontos-chave:
- A OpenAI revelou o Astra em 1º de agosto em um artigo de pesquisa, alegando soluções para 10 problemas matemáticos em aberto há pelo menos uma década.
- O modelo não tem data de lançamento, nem nome comercial definido, e precisa passar por uma nova avaliação federal antes de chegar aos usuários.
- Modelos chineses de peso aberto já respondem pela maior parte dos tokens roteados, embora os laboratórios dos EUA ainda concentrem quase todo o faturamento.
Astra resolve 10 problemas abertos em matemática
A companhia batizou o modelo em 1º de agosto dentro de um artigo técnico sobre matemática, não em um anúncio de produto.
Uma versão interna do Astra produziu resultados inéditos para 10 problemas em matemática e ciência da computação teórica, todos eles sem solução há 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 destaque é a primeira construção explícita de um grupo não sofic, uma questão de teoria dos grupos em aberto desde 1999. Pesquisadores estimam que os tokens usados nas dez soluções custariam algo em torno de US$ 2 mil, se cobrados pelas tarifas de API do Sol, o modelo carro-chefe atual da empresa.
Veja também: OpenAI levou influenciadores para resort em fazenda; seguidores reagiram mal
Matemáticos avaliam as provas geradas pelo 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 um grande feito e o considerou mais impactante que o resultado em geometria anunciado pela OpenAI em maio.
Ele rejeita a ideia de que as máquinas estejam substituindo os matemáticos, lembrando que o sistema foi treinado em mais de um século de produção escrita da própria comunidade. Noam Brown, pesquisador da OpenAI, afirmou que a equipe também tentou — sem sucesso — atacar outros problemas famosos. Nenhum Problema do Milênio foi resolvido, mas ele argumenta que cada tentativa consumiu relativamente pouco poder computacional e vê o esforço como um avanço 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 analisado sob um novo marco regulatório federal. A empresa ainda não definiu data de lançamento, nem se a família chegará ao mercado como GPT-6 ou como mais uma variante do GPT-5.
Pesos abertos chineses redesenham a demanda por tokens
O calendário importa porque o campo de pesos abertos deixou de esperar que os laboratórios americanos definam a fronteira tecnológica. O chefe da Nvidia, Jensen Huang, alinhou no mês passado vários gigantes de tecnologia dos EUA em favor de pesos abertos, enquanto o CEO da Anthropic, Dario Amodei, defendeu testes de segurança obrigatórios e controles mais rígidos de exportação de chips.
A Moonshot AI lançou o Kimi K3 em julho, com 2,8 trilhões de parâmetros e pesos abertos, vendido como o maior modelo aberto já construído.
Na plataforma 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 é justamente esse descompasso de faturamento que o Astra precisa defender.
Leia a seguir: Dogecoin testa suporte em US$ 0,05 antes de possível corrida a US$ 0,12