GPT-6 Astra chega ao grande público, Claude formaliza o último teorema de Fermat, GitHub orquestra vários modelos com HydraFusion

GPT-6 Astra sai da implementação restrita vinte e quatro horas após o seu lançamento: o modelo torna-se acessível aos planos Pro, Enterprise e Business Premium, entra em disponibilidade geral no GitHub Copilot e obtém a melhor pontuação alguma vez medida pela Perplexity no seu benchmark de pesquisa documentada. Por sua vez, a Anthropic publica a primeira prova do último teorema de Fermat verificada por computador, escrita em onze dias por Claude. O GitHub abre o HydraFusion, um modo que escolhe autonomamente o modelo e o workflow para cada tarefa, o Google lança o Lyria 3.5 na aplicação Gemini e a SpaceXAI abre o Grok Bot às empresas, documentando um agente de compras que encontrou mais de 100 000 dólares em poupanças no seu próprio empregador.

GPT-6 Astra sai da implementação restrita e entra em disponibilidade geral no Copilot

4 de setembro — A OpenAI anuncia às 22h13, hora de Paris, que o GPT-6 Astra deixa a sua implementação restrita. O modelo está acessível a todos os utilizadores Pro, Enterprise e Business Premium no ChatGPT Work e no Codex, e a API disponibiliza-o agora sem restrições, quando o anúncio de 3 de setembro ainda condicionava o acesso à implementação progressiva. Os subscritores Plus e os utilizadores Business terão de esperar mais alguns dias, uma precisão fornecida na mesma mensagem.

Superfície abrangida	Acesso em 4 de setembro
API OpenAI	Disponível sem restrições
ChatGPT Work e Codex, Pro	Disponível
Enterprise e Business Premium	Disponível
Plus e outros planos Business	Alguns dias de espera

🔗 Anúncio da OpenAI no X

Disponibilidade geral no GitHub Copilot, ao preço público desde o primeiro dia

No mesmo dia, o GPT-6 Astra entra em disponibilidade geral no GitHub Copilot. O GitHub destaca o método de trabalho do modelo em vez das suas pontuações: nos seus testes internos, o Astra planeia e valida ao longo da execução, agrupa o diagnóstico com a verificação e confirma os próprios resultados antes de declarar uma tarefa concluída, o que lhe proporciona um desempenho superior em tarefas longas com menos etapas do que os modelos anteriores da OpenAI. O anúncio não inclui quaisquer números de benchmark.

O modelo aparece em dez superfícies, desde o Visual Studio Code aos IDE JetBrains, passando pelo Copilot CLI, GitHub Mobile, Xcode e Eclipse, mas continua reservado aos planos Pro+, Max, Business e Enterprise. O Copilot Pro fica de fora. Vale a pena assinalar a questão da faturação: o Astra é cobrado ao preço público do fornecedor no regime de pagamento conforme a utilização, sem período promocional, enquanto o Gemini 3.8 Flash, lançado no dia anterior, beneficia de um preço introdutório até 31 de dezembro de 2026.

🔗 Changelog do GitHub

Perplexity atribui-lhe a sua melhor pontuação no WANDR

A Perplexity publicou em 3 de setembro, às 23h10, o resultado do Astra no WANDR, o seu benchmark interno de pesquisa documentada em grande escala. O modelo obtém 0,682 por 11,98 dólares por tarefa, a pontuação mais elevada entre todos os modelos testados pela empresa.

Modelo avaliado	Pontuação WANDR	Custo por tarefa	Medição publicada em
GPT-6 Astra	0,682	11,98 dólares	3 de setembro de 2026
Claude Fable 5.1	0,601	12,76 dólares	1 de setembro de 2026

A Perplexity também apresenta duas diferenças relativas: uma pontuação 13,5 por cento superior à do Claude Fable 5.1, com um custo 6,1 por cento inferior, e 27,0 por cento superior à do Opus 5, com um custo 3,3 por cento maior. Impõem-se duas ressalvas. O WANDR é um benchmark proprietário cuja metodologia detalhada não foi publicada, e a Perplexity também é cliente dos modelos que classifica. Não foi comunicado qualquer valor absoluto para o Opus 5.

🔗 Medição da Perplexity no X

Três correções do Codex CLI concluem a integração

Na linha de comandos, a versão 0.153.0, publicada na noite de 3 de setembro, foi seguida por três correções em menos de dois dias, todas dedicadas ao Astra. A versão 0.153.1 permite configurar o modelo através da API sem alterar o modelo predefinido nem fazê-lo aparecer no seletor. A versão 0.153.2 corrige um rótulo: o nível Fast é descrito como oferecendo 2x a velocidade, e não 1,5x, sem alterar a forma como os pedidos são processados. A versão 0.153.3, publicada em 4 de setembro às 21h01, adiciona o Astra ao seletor de modelos do Amazon Bedrock para as rotas Mantle e Runtime e corrige a instrução dada ao modelo para perguntas de esclarecimento assíncronas.

A OpenAI completou o dia com três relatos de experiência: dois artigos no blog para programadores, um sobre um jogo procedural de exploração espacial criado no Codex, outro sobre a conceção de uma casa explorada com Blender e Unreal Engine 5, além de um artigo de Dominik Kundel sobre cinco mudanças na sua forma de utilizar o Codex.

🔗 Notas de lançamento do Codex CLI 0.153.3 · 🔗 Criar um jogo com o Astra

Claude apresenta a primeira prova formalizada do último teorema de Fermat

4 de setembro — A Anthropic publica a primeira prova do último teorema de Fermat inteiramente verificada por computador. Claude trabalhou durante onze dias, em grande parte de forma autónoma, para a escrever em Lean. A empresa descreve-a como a maior prova em Lean alguma vez construída.

Métrica medida	Valor registado
Duração do trabalho de Claude	11 dias
Linhas de Lean escritas	13 milhões
Teoremas intermédios demonstrados	29 500
Primeira prova humana, por Wiles	1995, 129 páginas
Intervalo entre a conjetura e a prova	mais de 350 anos

O teorema afirma que nenhum trio de números inteiros positivos satisfaz a equação de Fermat para um expoente superior a dois. Pierre de Fermat rabiscou-o por volta de 1637 na margem do seu exemplar da Aritmética de Diofanto. A primeira demonstração correta deve-se a Sir Andrew Wiles, em 1995: 129 páginas, meses de verificação humana e uma primeira versão apresentada em 1993, na qual um revisor expôs uma falha crítica dois meses mais tarde.

As primeiras tentativas falharam, com os agentes a obterem êxitos rápidos antes de perderem o fio condutor. O avanço decisivo veio do Prove2Me, uma plataforma colaborativa aberta de formalização, associada a uma infraestrutura multiagente baseada no Claude Code. A plataforma mantém um grafo dirigido acíclico dos enunciados, que serve para os agentes escolherem a próxima prova a tentar, separa os enunciados e as provas em ficheiros distintos para acelerar a compilação em Lean e conserva uma descrição em linguagem natural de cada enunciado para permitir a pesquisa e a reutilização. A prova produzida segue a exposição simplificada de Wiles elaborada por Henri Darmon, Fred Diamond e Richard Taylor.

This extraordinary autoformalization achievement, which Anthropic researchers say only took 11 days, proves Fermat’s Last Theorem with no assumptions other than the axioms of mathematics.

🇵🇹 Esta extraordinária realização de autoformalização, que exigiu apenas onze dias segundo os investigadores da Anthropic, demonstra o último teorema de Fermat sem qualquer outra hipótese além dos axiomas da matemática. — Kevin Buzzard, revisor do resultado, citado na página de investigação da Anthropic

A Anthropic apresenta o desafio como sendo o da verificação, e não o da descoberta, ao contrário dos recentes trabalhos realizados pela IA sobre a hipótese de Riemann, que produziam matemática nova. À medida que o volume de demonstrações aumenta, a revisão por pares torna-se um estrangulamento que se mede em anos.

🔗 Prova completa no GitHub

Project HydraFusion: o GitHub deixa a ferramenta escolher o modelo em vez do programador

4 de setembro — O GitHub abre em pré-visualização de investigação o Project HydraFusion, um modo que já não designa um modelo, mas um workflow. Enquanto o seletor do Copilot exigia uma escolha entre mais de vinte modelos, o HydraFusion decide autonomamente, para cada pedido, qual modelo processa a tarefa e segundo que esquema de execução. É selecionado como qualquer outro modelo, mas orquestra vários por detrás dessa escolha única.

Existem atualmente três esquemas. O modo Single atribui a tarefa a um único modelo. O modo Cascade faz um modelo eficiente elaborar uma primeira solução, após o que um controlo de qualidade decide aceitá-la ou encaminhá-la para um modelo mais capaz. O modo Critique faz com que o rascunho seja revisto por um crítico independente, apenas com acesso de leitura, pertencente a outra família de modelos.

Benchmark avaliado	Diferença de custo face ao Opus 5	Diferença de qualidade face ao Opus 5
TerminalBench 2.1	67 por cento menos	mais 4,9 pontos
DeepSWE	36 por cento menos	menos 1,5 pontos
CheckpointBench	65 por cento menos	menos 0,1 ponto

Cinco princípios de engenharia enquadram a execução: contabilização agregada do custo de cada etapa, tempo limite e cancelamento explícitos, revisão em contexto isolado e sem ferramentas, aplicação com segurança integrada que não aplica qualquer correção se o workflow falhar e validação do encaminhamento antes da execução. O GitHub assume um compromisso de interface, mostrando as etapas, mas retendo os rascunhos intermédios até ao resultado final, e reconhece que a espera sem visibilidade suficiente é uma verdadeira desvantagem.

A documentação do desenvolvimento é invulgarmente franca: o GitHub considera o TerminalBench 2.1 a sequência de runs mais completa, esclarece que o progresso não foi linear e reconhece que duas falhas operacionais da infraestrutura de avaliação produziram runs inválidos entre 11 e 25 de agosto. Esses runs foram excluídos da tendência e depois corrigidos, e a empresa situa em 25 de agosto os melhores pontos de funcionamento da série registada. O acesso é feito através do Copilot CLI em todos os planos, ao preço padrão baseado no total de tokens do workflow, após /update e depois /experimental on.

🔗 Project HydraFusion

Lyria 3.5 chega à aplicação Gemini e à API

4 de setembro — O Google lança o Lyria 3.5, que apresenta como o seu modelo de geração musical com a melhor reprodução sonora, com vozes mais expressivas e arranjos mais ricos.

Na aplicação Gemini, a atualização é acompanhada por três mudanças na interface. O utilizador pode selecionar ou descrever o seu género musical e escolher entre uma versão cantada ou instrumental. Novos modelos prontos a utilizar (templates) servem de ponto de partida, quer se trate de música de fundo ou de uma canção de aniversário personalizada. A duração da faixa passa a ser configurável, entre o formato curto e o formato longo.

Tipo de superfície	Acesso ao Lyria 3.5
Público em geral	Aplicação Gemini web e móvel, mundial
Criação profissional	Google Flow Music
Programadores	API Gemini, Google AI Studio, Google Vids

O Google enquadra a utilização esperada no âmbito das necessidades quotidianas, e não da produção profissional: uma faixa de acompanhamento para um vídeo, um jingle de marca ou um toque personalizado. A distribuição é ampla, sem qualquer restrição de subscrição mencionada. O artigo, contudo, não apresenta quaisquer números relativos à qualidade do áudio, nenhuma comparação com a versão anterior do Lyria nem qualquer preço para o acesso através da API.

🔗 Anúncio do Google

SpaceXAI põe o Grok a trabalhar nas empresas e publica o prompt de sistema do seu agente de compras

3 e 4 de setembro — A SpaceXAI abre o Grok Bot às empresas. Lançado em 12 de agosto, o produto passa de uma oferta destinada a subscritores individuais e a equipas Cursor para uma versão dotada de controlos de acesso, rede e auditoria. O trabalho de cada utilizador é executado num ambiente isolado, e um Bot não tem qualquer acesso por predefinição: só acede às contas às quais é explicitamente ligado. Os clientes Grok Enterprise e Cursor Enterprise podem utilizá-lo gratuitamente durante duas semanas e convidar toda a sua organização, incluindo pessoas sem um lugar existente. A SpaceXAI cita a Legora, a Supermicro e a ServiceTitan e afirma que milhares de organizações adotaram o produto desde o seu lançamento.

O aspeto mais interessante do anúncio é que a utilização mais intensa ocorre fora da engenharia: prospeção noturna e grelhas de avaliação no recrutamento, rascunhos de e-mails e atualização de apresentações nas vendas, extração das perguntas e respostas de um webinar no marketing.

No dia seguinte, a empresa publica o estudo de caso de um Bot lançado sobre as suas próprias compras. Batizado Haggle Bot e ligado ao Slack, Notion, Drive, Gmail, Hex e Ramp, anuncia mais de 100 000 dólares em poupanças diretas.

Descoberta do agente	Montante identificado
Poupanças diretas totais	mais de 100 000 dólares
Lugares inativos durante 90 dias, primeiro produto	43 lugares, 14 220 dólares
Licenças não utilizadas, produto mensal	85 662 dólares por ano

O interesse editorial do artigo vai além destes números: a SpaceXAI publica o modelo de prompt de sistema do agente, apresentado como um formulário a preencher para a própria organização, cujos valores são fornecidos como exemplo entre parênteses angulares. A sua secção de permissões distingue três regimes permanentes. O primeiro nunca exige autorização, sendo a leitura dos dados de despesas e as mensagens aos colegas os exemplos apresentados. O segundo exige sempre a aprovação explícita do operador, sendo o envio de qualquer comunicação a um fornecedor o exemplo dado. O terceiro permanece proibido em todas as circunstâncias, e os exemplos mencionados incluem a assinatura, a compra, a subscrição, a aprovação de despesas e qualquer compromisso vinculativo. O artigo esclarece em prosa que a equipa deixou o agente realizar sozinho a investigação interna e a coordenação, mas exigiu uma aprovação explícita para gastar dinheiro, aceitar condições ou escrever a um fornecedor.

🔗 Grok Bot para empresas · 🔗 Haggle Bot lançado sobre as compras

Grok conecta-se a contas bancárias americanas via Plaid

4 de setembro — O Grok agora pode conectar-se às contas financeiras dos seus utilizadores. A conexão é feita por meio da Plaid, a intermediária técnica que liga aplicações e instituições bancárias nos Estados Unidos, e a funcionalidade está disponível imediatamente apenas nesse país.

Os três exemplos escolhidos pela SpaceXAI delineiam o âmbito pretendido: saber para onde foi o dinheiro no último mês, acompanhar o desempenho dos investimentos e verificar se é realmente possível comprar o que está no carrinho. Ou seja, análise de despesas passadas, acompanhamento de carteira e auxílio à decisão de compra no momento em que ela surge. O anúncio permanece breve e nada diz sobre o tratamento dos dados nem sobre as instituições abrangidas, além de mencionar uma conexão segura.

A funcionalidade dá continuidade a uma série de integrações financeiras iniciada com a aproximação à Interactive Brokers, em 25 de junho, mas a natureza muda: enquanto a Interactive Brokers se destinava a investidores ativos, a Plaid abre o assistente às contas correntes do público em geral.

🔗 Anúncio do Grok no X

Claude Code 2.1.260 e 2.1.261: painel de diff, auditoria de skills e permissões reforçadas

4 de setembro — Duas versões do Claude Code são lançadas no mesmo dia e complementam-se: a primeira oferece visibilidade sobre o trabalho em curso, a segunda sobre o que a sessão consome.

Versão publicada	Hora de lançamento	Principais novidades
2.1.260	4 de setembro 01h48	Painel `/diff`, diagnóstico de cache em `/cost`, correções de permissões
2.1.261	4 de setembro 21h58	`/skill-doctor`, saídas de até 128 000 caracteres, prompt de subagente em ficheiro

A 2.1.260 abre um painel de diff ao lado da conversa no modo de ecrã inteiro, que apresenta as alterações ainda não submetidas à medida que são feitas. Acima de tudo, corrige várias falhas na avaliação de permissões: as regras Edit, Write e Read cujo caminho continha parênteses eram rejeitadas como inválidas ou ignoradas pela sandbox Bash, deixando graváveis pastas que deveriam ser apenas de leitura, e os comandos zsh que ocultavam uma substituição de comando numa atribuição REPORTTIME eram aprovados automaticamente.

A 2.1.261 adiciona /skill-doctor, que lista as skills carregadas que permaneceram sem uso e o custo de contexto de cada uma. O seu modo automático passa agora a tratar como um envio para um site de terceiros um link que incorpora conteúdo no URL de um gerador público de diagramas.

🔗 Notas da versão 2.1.260 · 🔗 Notas da versão 2.1.261

O comando ant apply coloca os Managed Agents em ficheiros versionados

4 de setembro — A Anthropic adiciona ant apply à sua CLI ant. O comando aplica aos Managed Agents o modelo declarativo familiar às equipas de infraestrutura: o estado pretendido é descrito em ficheiros do repositório, e o comando reconcilia os recursos da API com essa descrição.

São abrangidos cinco tipos de recursos: os ambientes Managed Agent, os próprios agentes, as skills, os repositórios de memória (memory stores) e as implementações. Até agora, estes objetos eram criados por chamadas de API ou através da consola, sem qualquer registo no repositório. Descrevê-los em ficheiros coloca-os no âmbito da revisão de código, do controlo de versões e dos pipelines de integração contínua. O interesse prático reside na reprodutibilidade: um ambiente de agente descrito num ficheiro pode ser recriado de forma idêntica, comparado entre diferentes branches ou implementado a partir de um pipeline sem intervenção manual.

🔗 Anúncio no X

A ofensiva da NVIDIA: memória duradoura dos agentes, raciocínio no Jetson e identidade federada

3 e 4 de setembro — Três publicações no blog técnico da NVIDIA no mesmo dia, sobre três camadas diferentes da stack.

A primeira é uma receita aberta criada com base no NemoClaw: um agente chefe de gabinete que mantém uma memória duradoura do trabalho do seu utilizador. A tese resume-se a uma frase: uma memória de agente útil exige estrutura, recuperação seletiva e governação, não apenas armazenamento. O sistema assenta num modelo de si próprio (self model), uma camada de conhecimento legível por humanos escrita em páginas Markdown estruturadas, complementada por um registo SQLite que conserva obrigações, classificações, correções e eventos de auditoria. A execução é feita pelo NVIDIA OpenShell, que aplica numa sandbox as políticas de acesso ao sistema de ficheiros, aos processos e à rede, mantendo as credenciais fora da sandbox.

Métrica medida	Base de RAG agêntico	Modelo de si próprio	Diferença observada
Exatidão global, em 186 perguntas	82,8 por cento	90,9 por cento	mais 8,1 pontos
Perguntas difíceis, em 31 perguntas	67,7 por cento	87,1 por cento	mais 19,4 pontos
Acompanhamento de factos variáveis, em 5	60,0 por cento	100,0 por cento	mais 40,0 pontos
Fidelidade ao corpus, em 13 perguntas	100,0 por cento	92,3 por cento	menos 7,7 pontos

Context can inform an action, but it cannot authorize one.

🇵🇹 O contexto pode esclarecer uma ação, mas não pode autorizá-la. — Publicação da NVIDIA sobre a memória dos agentes

A segunda publicação é um guia de implementação que assinala uma mudança para a IA incorporada: a quantização NVFP4 combinada com a descodificação especulativa alcança até 6,28 vezes o débito de descodificação do BF16 no Jetson AGX Thor e Orin. A configuração vencedora varia de acordo com o modelo, e a NVIDIA insiste neste ponto em vez de designar um vencedor universal: o Nemotron 3.5 Lightning apresenta o seu melhor resultado com DSpark, entre 123 e 138 tokens de saída por segundo, e o Qwen3.8-27B com DFlash2, entre 27,7 e 34,4 tokens por segundo. O aviso final é metodológico: o débito varia conforme a carga, pelo que a configuração deve ser validada com prompts representativos da aplicação pretendida. A terceira publicação, mais modesta, descreve a propagação da identidade de um utilizador entre plataformas Kubernetes federadas e plataformas de IA.

🔗 Raciocínio de fronteira no Jetson · 🔗 Identidade entre plataformas federadas

As ferramentas de linha de comandos da Google: Gemini CLI passa para a série 0.60.0, Antigravity abre o Flash às empresas

3 e 4 de setembro — O canal nightly do Gemini CLI abandona a série 0.59.0 e passa para a 0.60.0, com um lançamento centrado sobretudo na segurança. A correção mais relevante remove uma chave de API Google CrUX codificada diretamente no componente chrome-devtools-mcp. Duas outras alterações reforçam o isolamento: a sandbox macOS Seatbelt recebe um diretório temporário isolado, e o carregador de extensões aplica uma resolução de caminhos reforçada acompanhada de validação de limites. A quarta impõe, no fluxo OAuth dos servidores MCP, a identificação do emissor em conformidade com a RFC 9207, uma proteção contra ataques por substituição de autoridade.

O Antigravity 2.12.2, publicado no dia anterior, contém apenas uma melhoria e nenhuma correção: os utilizadores empresariais passam a ter acesso aos modelos de raciocínio Gemini 3.8 Flash através da autenticação com as credenciais predefinidas da aplicação (Application Default Credentials). O interesse prático está na ligação do modelo ao modo de autenticação padrão das implementações Google Cloud, sem uma chave de API individual.

🔗 Gemini CLI v0.60.0 nightly · 🔗 Changelog do Antigravity

A IA ao serviço da ciência: um emulador climático acoplado e o connectoma completo de uma drosófila macho

3 e 4 de setembro — Duas publicações aplicam a aprendizagem automática a objetos científicos de grande escala, em duas disciplinas sem qualquer relação entre si.

A Ai2 publica o SamudrACE-E3SMv3 sob a licença Apache 2.0 no Hub Hugging Face, um emulador climático atmosfera-oceano totalmente acoplado. O objetivo do trabalho é reproduzir o comportamento do E3SM, o modelo climático de referência do Departamento de Energia dos Estados Unidos, com um custo computacional muito inferior: filtrar hipóteses antes de executar o próprio E3SM e produzir grandes conjuntos que permitem amostrar a variabilidade climática a baixo custo. Os emuladores da atmosfera (ACE) e do oceano (Samudra) são primeiro pré-treinados separadamente antes de serem acoplados e, em seguida, avaliados em 400 anos de dados E3SM nunca vistos, nos quais o clima médio se mantém. A Ai2 assinala uma limitação explícita: o emulador capta a precipitação diária até ao percentil 99,99, mas subestima os valores acima desse nível.

O HHMI Janelia Research Campus, a Google Research e os seus colaboradores publicam, por sua vez, o primeiro mapa completo do cérebro e do sistema nervoso central de uma drosófila macho adulta: mais de 166 000 neurónios, um recorde, distribuídos por 11 691 tipos celulares classificados com a ajuda da IA e validados por especialistas humanos. O método baseia-se na imagiologia de cortes finos, seguida da recomposição por computador de milhões de imagens bidimensionais em formas neuronais tridimensionais. O interesse reside na comparação com o mapa da fêmea publicado anteriormente: a maioria dos neurónios é idêntica em ambos os sexos, uma minoria é específica e uma terceira categoria, denominada dimórfica, existe em ambos, mas liga-se a vizinhos diferentes. Três estudos complementares aplicam o mapa à visão, ao paladar e ao comportamento social.

🔗 SamudrACE-E3SMv3 no X · 🔗 Mapa do cérebro da drosófila macho

Meta abre ao público o nível de raciocínio max do Muse Spark 1.3

4 de setembro — A Meta disponibiliza ao público o nível de raciocínio max do Muse Spark 1.3, dois dias após o anúncio do próprio modelo. O nível está disponível no Muse Code e na Meta Model API.

O que muda, portanto, não é o modelo, mas a disponibilização efetiva do seu nível de raciocínio mais dispendioso. Alexandr Wang, chief AI officer da Meta, esclarece que o ganho incide sobre a programação e as tarefas agênticas e recomenda que até quem já testou os níveis high e xhigh experimente novamente o modelo. Acrescenta que o lançamento ocorre após a conclusão dos testes de segurança. Para ativá-lo, é necessário selecionar o Muse Spark 1.3 e depois definir o nível de raciocínio como max.

Esta disponibilização não é acompanhada por quaisquer números de benchmark: a thread não publica pontuações nem comparações, apenas uma apreciação qualitativa do seu autor.

🔗 Anúncio da AI at Meta

Percept-Lens, o protocolo da Sakana AI para avaliar a deteção de imagens geradas

3 de setembro — A Sakana AI apresenta o Percept-Lens, um framework de avaliação fora de distribuição para a deteção de imagens geradas por IA, aceite na ECCV 2026. A constatação inicial é que os detetores de imagens sintéticas falham assim que vários fatores mudam simultaneamente: o gerador, o estilo ou o prompt e o domínio de origem. O Percept-Lens unifica a avaliação em 39 conjuntos de dados públicos, num total de 7,1 milhões de imagens.

O estudo de representação coloca uma questão direta: o treino de uma cabeça de classificação ainda acrescenta algo para além daquilo que os encoders modernos já separam? Os autores constroem uma escala de discriminantes gaussianos condicionados pelo prior, ou seja, cabeças em forma fechada construídas com base nas estatísticas de primeira e segunda ordem das características. O melhor nível desta escala rivaliza frequentemente com as cabeças de deteção publicadas e, por vezes, supera-as, desde que a comparação seja feita com o mesmo prior e o mesmo encoder. Os autores defendem que os resultados sejam apresentados ao nível do trio prior, encoder e cabeça.

🔗 Publicação da Sakana AI · 🔗 Artigo no arXiv

TAOT, o posicionamento de réplicas de especialistas que considera a topologia da rede

4 de setembro — A equipa Baige da Baidu detalha o TAOT, um método de posicionamento de réplicas de especialistas para o treino de modelos mixture-of-experts, disponibilizado no seu framework open source LoongForge.

O problema é concreto. Quando um treino MoE abranda, a causa raramente é a capacidade dos GPU, mas sim a impossibilidade de reequilibrar a carga a tempo: alguns especialistas tornam-se pontos críticos e todos os outros ranks ficam à espera. A solução clássica consiste em replicar temporariamente os pesos de um especialista sobrecarregado num rank inativo, mas, assim que o domínio de paralelismo ultrapassa um nó, nem todos os GPU inativos são equivalentes: a comunicação intra-nó passa pelo NVLink, a comunicação cross-nó pelo InfiniBand, e o custo pode variar numa ordem de grandeza.

Métrica medida	Valor observado
Tempo por iteração, antes e depois	155,4 ms e depois 108,8 ms, ou seja, 1,43x
Aceleração de EP4 para EP16	até 1,79x
Custo de comunicação em relação ao LPLB	até 74 por cento inferior em EP32
Sobrecusto de planeamento online	menos de 1 por cento do tempo da passagem forward

O TAOT é apresentado como o primeiro método a integrar numa única função objetivo o benefício da redução dos picos e o custo da transferência de pesos entre nós. Enquanto o LPLB da DeepSeek restringe os caminhos através de grafos predefinidos, o TAOT utiliza uma matriz contínua de custos de comunicação com uma preferência topológica flexível: a comunicação intra-nó é privilegiada, enquanto a comunicação cross-nó continua permitida, mas é mais dispendiosa. A passagem do emparelhamento por linhas para o emparelhamento por colunas reduz o desequilíbrio residual de 7 a 10 por cento para 1 a 2 por cento.

🔗 Publicação no Hugging Face

Open Yap 1K, mil horas de conversa em full duplex livres para uso comercial

3 de setembro — A The Agentic Data Company publica o Open Yap 1K, um corpus de conversas em inglês em dois canais separados, concebido para modelos de voz em full duplex.

Elemento do corpus	Amostra pública	Corpus completo
Duração total	8,9 horas	1 000 horas
Conversas	16	1 602
Licença aplicada	CC BY 4.0	Open Yap, uso comercial livre
Modo de acesso	Hub Hugging Face	Mediante pedido

Os autores posicionam explicitamente o corpus como uma alternativa aos corpus de voz existentes, como Fisher, Switchboard e CANDOR, com um argumento antes de mais técnico: a publicação compara um excerto do Fisher English, amostrado a 8 kHz em banda telefónica, com um excerto do Open Yap 1K, para ilustrar a diferença de qualidade do áudio. O método de recolha, a demografia dos locutores, a garantia de qualidade, o consentimento e a confidencialidade estão documentados.

🔗 Publicação no Hugging Face

Daily Brief torna-se gratuito para mais utilizadores americanos do Gemini

4 de setembro — A Google está a alargar gratuitamente o acesso ao Daily Brief a um maior número de utilizadores da aplicação Gemini nos Estados Unidos. A funcionalidade tinha sido introduzida a 21 de maio.

O Daily Brief trabalha em segundo plano e estabelece a ligação entre as aplicações Google do utilizador: e-mails, agenda, conversas e centros de interesse são condensados numa lista única e fácil de consultar de tarefas e prioridades, apresentada como ponto de partida para o dia. O anúncio continua limitado aos Estados Unidos e não especifica nem a percentagem de utilizadores abrangidos nem o calendário de uma expansão internacional.

🔗 Anúncio do Gemini no X

Runway lança Team, um plano self-service para equipas de dois a nove lugares

4 de setembro — A Runway lança o Team, que preenche a lacuna entre os planos individuais e uma oferta Enterprise reservada a grandes contas. A mudança é estrutural para o catálogo: Standard, Pro e Max passam a ser explicitamente planos individuais, e qualquer novo membro passa agora pelo Team, mantendo os espaços existentes o respetivo acesso e preço.

Característica do plano	Valor anunciado
Preço mensal por lugar	69 dólares
Preço anual por lugar	55 dólares, ou seja, 20 por cento de desconto
Número de lugares permitido	2 a 9
Créditos mensais por lugar	6 900, depositados num fundo comum
Projetos partilhados e armazenamento	até 100 projetos, 1 TB

O plano organiza-se em torno de projetos partilhados onde ficam alojados ativos, referências, Brand Kits, sessões e workflows. A Runway defende a proposta sob o ângulo da consistência dos resultados: quando toda a equipa gera a partir das mesmas referências, o décimo vídeo assemelha-se ao primeiro. Os créditos não utilizados transitam durante um mês, uma equipa partilha até 20 competências de agente e os Agent Connectors ligam Figma, Dropbox e Notion ao agente criativo.

🔗 Anúncio da Runway

ElevenLabs expande a sua iniciativa 1 Million Voices ao Brasil

4 de setembro — A ElevenLabs leva o seu programa de impacto ao Brasil e ilustra-o com uma primeira história brasileira. Eliane perdeu a voz na infância, Alberto ficou cego aos 46 anos; a empresa deu a Eliane uma voz semelhante à da sua família, permitindo-lhe, pela primeira vez, comunicar com o homem que ama numa voz que carrega a sua identidade.

O anúncio é acompanhado por duas parcerias locais. A Associação Brasileira de Esclerose Lateral Amiotrófica, que apoia até 10 000 pessoas com esclerose lateral amiotrófica no país, permite que estes doentes obtenham acesso gratuito para clonar a própria voz. Por sua vez, a Sociedade Brasileira de Fonoaudiologia formará os terapeutas da fala brasileiros em clonagem de voz, apostando a empresa na familiaridade dos profissionais para aumentar o número de pacientes beneficiários. A iniciativa 1 Million Voices representa um compromisso em espécie no valor de mil milhões de dólares e já chegou a mais de 11 000 pessoas em todo o mundo desde o seu lançamento.

🔗 Publicação da ElevenLabs

Kimi Code 0.41.0 adiciona um modo multiagente e remove uma salvaguarda com dois dias

4 de setembro — A Moonshot AI lança o Kimi Code 0.41.0. A novidade visível é tower, um modo experimental de colaboração multiagente na interface web, acionado pelo comando /tower ou pelo menu de adição do composer, que aceita um branch de base como argumento. A gestão do contexto recebe dois ajustes: o modelo é avisado do seu orçamento de contexto antes de uma compactação automática e, em seguida, encaminhado para o registo de eventos da sessão, a fim de recuperar os detalhes exatos. O histórico de ficheiros ao nível do turno torna-se permanente.

O ponto mais assinalável é um recuo. A versão 0.40.0, publicada a 2 de setembro, tinha introduzido o bloqueio de comandos destrutivos como shutdown, reboot ou rm -rf no modo de permissão automática. A versão 0.41.0 reverte essa decisão e deixa de bloquear comandos perigosos, bem como aqueles que não podem ser analisados estaticamente, nesse mesmo modo. A salvaguarda durou dois dias. O motivo não é explicitado nas notas, mas a análise estática de comandos shell gera facilmente falsos positivos que bloqueiam trabalho legítimo.

🔗 Notas de lançamento do Kimi Code 0.41.0

Perplexity detalha Ivy, Tulip e ROSE, a stack interna que disponibiliza os seus embeddings

4 de setembro — A Perplexity publica um artigo de engenharia que revela o funcionamento da infraestrutura que disponibiliza os seus modelos de embedding e classificação (ranking). A empresa treina e disponibiliza os seus próprios modelos, incluindo o pplx-embed, e descreve o seu índice de pesquisa como tendo uma escala de exabytes.

Componente da stack	Linguagem utilizada	Função no serviço
Ivy	Rust	Gateway HTTP, tokenização, divisão e distribuição dos lotes
Tulip	Rust, tokio, tonic	Servidor de inferência gRPC, agendamento e formação de lotes
ROSE	Python	Execução dos modelos, kernels e grafos CUDA

A ideia orientadora é a reutilização do código de inferência dos LLM. A Perplexity observa que o embedding em lote se assemelha à fase de pré-preenchimento (prefill), limitada pela capacidade de computação, enquanto o embedding online de uma consulta curta se assemelha à fase de descodificação (decode), limitada pela memória. Assim, os mesmos kernels (kernels) servem o pplx-embed e a descodificação do Qwen3.5, sem cache de chave-valor instanciada para os embeddings e com variantes de atenção que aceitam entradas irregulares (ragged), evitando o preenchimento desnecessário. Nos kernels de atenção, a equipa mantém FlashInfer 2, FlashInfer 3 e FlashAttention 4 em paralelo, em vez de escolher apenas um, sendo a escolha feita caso a caso, de acordo com o número e a dimensão das heads. As medições são comparadas com o vLLM v0.22.0, mas os resultados numéricos surgem apenas em gráficos.

🔗 Artigo de engenharia da Perplexity

Zed e Replit anunciam no X, sem artigo nem notas de lançamento

4 de setembro — Dois anúncios de ferramentas de programação de terceiros chegam no mesmo dia, e ambos assentam numa única publicação no X, sem artigo de blogue nem notas de lançamento que os sustentem.

A Zed indica que o Delta já está disponível para as pessoas inscritas na versão beta para Windows, em resposta a um pedido de um utilizador de 2 de setembro. A distinção é importante: o Delta é o ambiente multijogador de programação com agentes lançado a 12 de agosto, que permite a vários membros de uma equipa trabalhar com agentes num projeto partilhado. Já o editor Zed é distribuído para macOS, Linux e Windows. O anúncio não diz, portanto, respeito ao editor, mas sim ao Delta, cuja disponibilidade para Windows continuava pendente desde agosto. O âmbito exato desta versão beta e as respetivas condições de inscrição permanecem desconhecidos.

Por seu lado, a Replit transmitiu uma sessão em direto de uma hora e 58 minutos intitulada «Replit MCP: Controle o seu agente a partir de qualquer lugar». O título anuncia um servidor MCP que disponibiliza o agente da plataforma a clientes compatíveis com o protocolo, tendo como utilização prevista iniciar uma tarefa e acompanhar o seu progresso a partir de um editor, terminal ou assistente de terceiros, sem passar pela interface web. A mensagem não contém qualquer outro texto além desse título, nem ligação para um artigo, nem uma formulação explícita de lançamento.

🔗 Delta no Windows · 🔗 Replit MCP em direto

Breves

Um endpoint de API devolve o histórico de estrelas sem expor os utilizadores — a API REST do GitHub devolve as contagens de estrelas com data e hora sem identificar as contas que as atribuíram, substituindo os endpoints de listagem reservados aos administradores no início do ano. 🔗 Changelog
O npm aceita várias configurações de publicação fidedigna por pacote — três evoluções em disponibilidade geral: configurações OIDC múltiplas e cumulativas por pacote, uma aprovação bloqueada enquanto decorre a análise antimalware e o histórico de pré-produção visível no separador das versões. 🔗 Changelog
GitHub Actions adiciona uma API de descontinuação dos runners — a API REST fornece as datas de fim de suporte de uma versão do runner, uma permissão vulnerability-alerts dá acesso só de leitura aos alertas do Dependabot e quatro propriedades do contexto job fornecem aos workflows reutilizáveis a sua identidade de origem. 🔗 Changelog
O documentário The Story of VS Code estreia a 4 de setembro — o GitHub divulga a transmissão do documentário oficial sobre o Visual Studio Code no canal de YouTube do editor, após um trailer publicado a 1 de setembro. 🔗 Anúncio
Replit destaca uma aplicação criada numa semana — a Pep AI, criada na plataforma por Cédric Roberge em cerca de uma semana, geraria aproximadamente 130 000 dólares por mês, segundo a Replit, numa thread promocional seguida de conselhos sobre preços. 🔗 Thread da Replit
Zed publica um anúncio visual cujo conteúdo não pôde ser verificado — uma mensagem de quatro palavras acompanhada por uma única imagem, publicada a 4 de setembro às 22h14. A imagem não carregou durante a análise e nenhum artigo nem nota de lançamento acompanha a publicação: nada permite determinar o que anuncia. 🔗 Mensagem
Um ecossistema LLM aberto e completo para arménio — uma coleção do Hugging Face reúne o corpus web ArmWeb, o conjunto de dados científico verificado ArmSTEM e o modelo arm-gemma-e4b, com um artigo anunciado para breve. 🔗 Artigo
VLM Run Gateway reúne modelos OCR e de visão com pesos abertos numa única API — o gateway disponibiliza, através de um único ponto de entrada, modelos de reconhecimento ótico, visão-linguagem e visão com pesos abertos, incluindo o PaddleOCR-VL-1.6. 🔗 Artigo
Sakana AI abre as portas da sua equipa de engenharia a 5 de outubro — o Engineer Open House regressa na segunda-feira, 5 de outubro de 2026, das 18h às 21h, em Toranomon ou online, com inscrições no connpass. 🔗 Anúncio
Google detalha os sprints do seu programa de experiência para programadores do Gemini Enterprise — artigo metodológico sem lançamento: o sprint descrito incide sobre a governação da IA nas empresas e fornece documentação atualizada e exemplos de código normalizados para Agent Gateway e Semantic Governance. 🔗 Artigo
Suno dá um nome à sua próxima geração de modelos, a família v6 — numa resposta a um utilizador, a conta oficial apresenta-a como o seu melhor trabalho até hoje, sem data nem detalhes técnicos, um dia após a entrada em vigor dos novos limites de download. 🔗 Resposta
MiniMax e Together AI organizam uma noite sobre a economia dos modelos abertos em Londres — o evento conjunto Open by Design: The Economics of AI in Production terá lugar a 16 de setembro, sendo a única publicação da MiniMax durante o período. 🔗 Anúncio
Mistral traz de volta a conferência AI Engineer a Paris nos dias 23 e 24 de setembro — o regresso à Station F reúne o vice-presidente de engenharia Lélio Renard-Lavaud com a Black Forest Labs, Cognition e Hugging Face, após uma edição anterior esgotada. 🔗 Anúncio
O WebMCP Challenge encerra as submissões — o encerramento acontece após o adiamento de doze horas provocado pela falha de 3 de setembro; os projetos estão a ser avaliados e os vencedores serão anunciados em breve. 🔗 Anúncio

O que isto significa

A velocidade com que o ecossistema absorve um modelo de fronteira tornou-se o verdadeiro indicador. O GPT-6 Astra foi anunciado a 3 de setembro; no dia 4, já está na API sem restrições, em disponibilidade geral em dez superfícies do Copilot, avaliado por uma entidade terceira que o utiliza em produção e integrado através de três correções sucessivas do Codex CLI. Este prazo de vinte e quatro horas não existia há um ano. Transfere a questão do lançamento para a faturação: o GitHub aplica ao Astra o preço público do fornecedor sem período promocional, enquanto o Gemini 3.8 Flash beneficia de um preço introdutório até ao final do ano. Quando todos os modelos chegam no dia seguinte ao anúncio, o preço volta a ser o único fator diferenciador visível para o utilizador final.

O HydraFusion aborda o problema pelo outro lado, e esta é a notícia mais estruturante do dia para as ferramentas. Escolher entre vinte modelos é um trabalho que poucos programadores fazem com seriedade, e o GitHub propõe deixar de o fazer por completo: seleciona-se um workflow e a ferramenta decide o modelo em cada pedido. Os números — mais 4,9 pontos de qualidade por menos 67 por cento de custo face ao Opus 5 no TerminalBench — são sobretudo relevantes pelo que sugerem: o ganho vem da orquestração, não de um modelo superior. Se este resultado se mantiver fora das condições de benchmark, o modelo deixa de ser o produto e torna-se um componente intercambiável atrás de uma porta de qualidade.

Os agentes nas empresas estão a sair da engenharia, e a governação acompanha-os. A SpaceXAI afirma-o explicitamente: a utilização mais intensa do Grok Bot acontece fora do código, e o número mais revelador do dia vem de uma auditoria de lugares de software: 43 subscrições pagas sem atividade há 90 dias. Mas o verdadeiro conteúdo destes anúncios é o mecanismo de permissões. O modelo de prompt de sistema publicado pela SpaceXAI distingue três regimes — sempre autorizado, autorizado caso a caso e nunca autorizado — e a NVIDIA formula o mesmo princípio no seu artigo sobre a memória dos agentes: o contexto pode orientar uma ação, mas não pode autorizá-la. Dois intervenientes sem relação entre si chegam no mesmo dia à conclusão de que um agente útil se define, antes de mais, pelo que lhe é proibido.

Nas ferramentas de linha de comandos, a segurança avança em ziguezague, em vez de seguir uma linha reta. O Gemini CLI remove uma chave de API codificada diretamente e reforça a sua sandbox, o Claude Code corrige regras de permissão que permitiam escrever em pastas supostamente só de leitura, e o Kimi Code remove o bloqueio de comandos destrutivos dois dias depois de o ter adicionado. Este último caso é o mais instrutivo: a análise estática de comandos shell gera falsos positivos suficientes para que uma salvaguarda correta no papel se torne insuportável na prática. A segurança destas ferramentas não se decide no anúncio de uma proteção, mas na sua sobrevivência ao contacto com os utilizadores.

Resta o dia dedicado à matemática e às ciências, o mais difícil de avaliar no imediato. A prova de Fermat formalizada em onze dias não produz nenhuma matemática nova: verifica um resultado com trinta anos. É precisamente isso que a torna interessante, porque a revisão por pares é o estrangulamento que se mede em anos e Kevin Buzzard observa que estes artefactos são agora suficientemente robustos para servirem de base a outros trabalhos. O emulador climático da Ai2 e o connectome da drosófila seguem a mesma lógica: nenhum dos dois faz descobertas, mas ambos tornam viável um trabalho cujo custo impedia a execução em escala. É uma utilização menos espetacular do que a descoberta autónoma e provavelmente mais próxima daquilo que a IA realmente transforma na prática científica.