Google libera o Gemini 4 Carbon, seu modelo de IA mais avançado, e usa agentes para verificar o código do Signal

O Google liberou nesta terça-feira (10) o Gemini 4 Carbon, o modelo de inteligência artificial mais avançado da empresa, para desenvolvedores e empresas que pagam pela API do Gemini e para assinantes do plano Google AI Ultra. Até agora, o modelo estava restrito a um grupo de especialistas em cibersegurança, que o recebeu há duas semanas por meio do programa Fairwind.

Segundo o Google DeepMind, o Carbon foi feito para as tarefas mais pesadas: programação em várias etapas, depuração complexa, análise de grandes volumes de documentos e pesquisa científica aberta. O Gemini 4 Argon, lançado antes, continua sendo a recomendação da empresa para a maior parte do trabalho de software e de escritório.

Preço e onde usar

Na API, disponível no Google AI Studio e no Gemini para empresas, o Carbon custa durante o período de lançamento o mesmo que o Argon: US$ 2 por milhão de tokens de entrada e US$ 10 por milhão de tokens de saída. A partir de 30 de novembro, o preço dobra para US$ 4 e US$ 20, respectivamente. Como o modelo raciocina por mais tempo e consome mais tokens que o Argon, a mesma tarefa pode sair mais cara mesmo com tarifa igual.

Para assinantes do Ultra, o modelo chega ao aplicativo Gemini, ao Modo IA da busca e ao Antigravity, ambiente de programação do Google. Nesse ambiente, a empresa também colocou em teste o recurso /swarm, que transforma um único pedido em uma equipe coordenada de agentes, com o Carbon nas funções que exigem mais raciocínio, como arquitetura e auditoria, e modelos mais leves e rápidos nas demais. O anúncio não detalha diferenças de disponibilidade por país.

O que o Google afirma sobre desempenho

A empresa diz que o Carbon lidera testes de desempenho de terceiros voltados a fluxos de trabalho reais, como o CursorBench 4.0 e o AutomationBench, da Zapier, com custo por tarefa mais de duas vezes menor que o do concorrente externo mais bem colocado. Os números foram divulgados pelo próprio Google e ainda não foram reproduzidos de forma independente.

Em segurança digital, a versão especializada Carbon for cyber continua disponível apenas para membros do programa Fairwind. Segundo o Google, a empresa de segurança Wiz usou o modelo para encontrar falhas inéditas, as chamadas zero-day, em dois grandes provedores de software como serviço em menos de duas horas, e a equipe de pesquisa de vulnerabilidades do Google Cloud comprovou que dois bugs de um software de código aberto popular eram exploráveis, o que levou os mantenedores a reclassificá-los como críticos e a lançar correção. Os detalhes serão divulgados depois do processo de divulgação responsável.

Verificação do código do Signal

O resultado mais concreto apresentado junto com o lançamento é o AlphaProof Code, um sistema do Google DeepMind que combina especialistas humanos e agentes de IA para fazer verificação formal de software, ou seja, provar matematicamente que um programa cumpre requisitos definidos. A equipe aplicou o método à libsignal, implementação de referência do protocolo de criptografia do Signal, que em versões adaptadas também é usado no WhatsApp e no Google Messages.

Pesquisadores e agentes baseados no Carbon e no Claude Opus 5.5, da Anthropic, escreveram as especificações do que precisava ser provado. Depois, agentes do Carbon geraram cerca de 6,5 milhões de linhas de provas na linguagem Lean, que rejeita automaticamente qualquer prova inválida. Segundo os autores, garantias como sigilo de mensagens passadas mesmo se uma chave vazar, recuperação de segurança após comprometimento e autenticação valem para o código de máquina compilado, e não apenas para o desenho do protocolo. Cinco pesquisadores fizeram o trabalho em quatro semanas, tarefa que, segundo o Google, costuma levar anos.

Há limites declarados: a verificação cobre uma versão do código compilada pelo próprio Google, rodando por meio de um pequeno programa de linha de comando, e não os aplicativos do Signal, e ataques de canal lateral ficaram fora de partes da análise. Para mostrar que o método detecta falhas reais, a equipe reinseriu dois bugs antigos, já corrigidos, e comprovou que essas versões quebram as garantias. O Google diz que vai publicar as especificações e as provas. "Verificar com rigor a implementação do protocolo Signal nos dá ainda mais confiança nas garantias de privacidade do nosso código", afirmou o diretor de tecnologia do Signal, Ehren Kret.

Ciência e salvaguardas

O Google também ampliou para o Carbon o programa que oferece a até 10 mil cientistas acesso gratuito por seis meses aos modelos mais avançados no Antigravity, sujeito a seleção e capacidade. A empresa cita usos internos em análise de dados de laboratório e na busca de proteínas parecidas em grandes bancos de sequências para melhorar previsões de estrutura, ressalvando que a avaliação mais ampla desse último uso ainda está em andamento.

Como o modelo tem capacidades maiores em cibersegurança, o Google afirma ter reforçado as barreiras contra uso malicioso. Em ambientes simulados de ataque, segundo a empresa, o Carbon bloqueou 99% das tentativas de um agente de testes adversariais, com taxa de invasão por tentativa de 0,8%, ante 3,1% no Argon. A própria empresa reconhece que a resistência a ataques de injeção de instruções escondidas em conteúdos, conhecidos como prompt injection, continua sendo uma área a melhorar.

Entrada do prédio do Google em Londres (Reino Unido), no número 6 da Pancras Square, onde também funciona o Google DeepMind, em dezembro de 2017; imagem ilustrativa de arquivo. Foto: Gciriani, via Wikimedia Commons (CC BY-SA 4.0); imagem recortada e redimensionada.

Leia também

• Anthropic lança Claude Fable 5.2 e Mythos 5.2, modelos mais rápidos e baratos para tarefas técnicas complexas
• Meta lança Muse Ember, modelo de IA pequeno e barato feito para o trabalho repetitivo dos agentes
• Google lança dois novos TPUs para IA: um protege dados sensíveis e outro dobra memória para contextos longos