OpenAI apresentou a sua próxima grande família de modelos, Astra, com 10 problemas de matemática resolvidos, num momento em que rivais chineses de pesos abertos conquistam rapidamente uma fatia crescente do tráfego global de IA.
Principais pontos:
- A OpenAI revelou o Astra em 1.º de agosto, num artigo de investigação que reclama soluções para 10 problemas em aberto há pelo menos uma década.
- O modelo não tem data de lançamento, não tem nome definitivo e precisa de passar por uma nova revisão federal antes de chegar aos utilizadores.
- Modelos chineses de pesos abertos já concentram a maioria dos tokens encaminhados, embora os laboratórios dos EUA continuem a captar quase todo o gasto.
Astra resolve 10 problemas em aberto em matemática
A empresa batizou o modelo em 1.º de agosto, num artigo focado em matemática e teoria da computação, e não num anúncio de produto.
Uma versão interna do Astra produziu resultados inéditos em 10 problemas de matemática e de ciência da computação teórica, todos 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, disponibilizados no GitHub sob uma licença aberta.
O destaque é a primeira construção explícita de um grupo não-sófito, uma questão em teoria de grupos que permanecia em aberto desde 1999. Segundo investigadores, os tokens usados nas 10 soluções teriam custado cerca de 2.000 dólares às tarifas de API do Sol, o modelo atual de topo da empresa.
Veja também: OpenAI levou influenciadores para um resort rural, e os seguidores reagiram mal
Matemáticos analisam as alegações de prova do Astra
Thomas Bloom, matemático da Universidade de Manchester que mantém uma base de dados pública de problemas de Erdős, classificou o trabalho como uma grande notícia e disse que supera o resultado de geometria anunciado pela OpenAI em maio.
Ele rejeita a ideia de que as máquinas estejam a substituir a sua área, lembrando que o sistema foi treinado sobre mais de um século de produção escrita de matemáticos. Noam Brown, investigador da OpenAI, afirmou que a equipa também tentou — sem sucesso — responder a outras questões famosas. Nenhum Problema do Prémio Millennium foi resolvido, mas Brown sublinha que cada tentativa consumiu relativamente pouco poder de computação e considera o esforço um avanço importante no raciocínio científico.
Sam Altman apresentou uma antevisão do sistema a legisladores em Washington na semana passada, e o Astra deverá ser o primeiro modelo a ser avaliado ao abrigo de um novo enquadramento federal. A empresa ainda não definiu data de lançamento nem decidiu se a família será comercializada como GPT-6 ou como mais uma variante do GPT-5.
Pesos abertos chineses redefinem a procura por tokens
O calendário pesa porque o campo dos pesos abertos deixou de esperar que os laboratórios americanos definam a linha da frente. O executivo da Nvidia, Jensen Huang, mobilizou no mês passado vários gigantes tecnológicos dos EUA em torno dos pesos abertos, enquanto o CEO da Anthropic, Dario Amodei, defendeu testes de segurança obrigatórios e controlos de exportação mais rígidos para chips.
A Moonshot AI lançou em julho o Kimi K3, com 2,8 biliões de parâmetros e pesos abertos, apresentado como o maior modelo aberto construído até agora.
Na OpenRouter, a fatia de tokens encaminhados para modelos dos EUA caiu de cerca de 70% em junho de 2025 para aproximadamente 30% um ano depois. Em junho, os laboratórios americanos continuavam, porém, a arrecadar perto de 95% das receitas numa grande plataforma empresarial — um fosso de faturação que o Astra terá de defender.
Leia a seguir: Dogecoin testa suporte em $0,05 antes de possível corrida até $0,12
