Giro Tech (10/11): DeepMind verifica formalmente o protocolo Signal com IA agêntica

🌅 08:00 — Abertura da Manhã: AlphaProof Code prova formalmente garantias do protocolo Signal

DeepMind prova formalmente garantias do protocolo Signal

Pesquisadores do Google DeepMind usaram o AlphaProof Code, um framework de IA agêntica, para verificar matematicamente garantias criptográficas centrais do protocolo Signal. O trabalho durou quatro semanas e não encontrou vulnerabilidades novas nas partes analisadas.

Como controle, a mesma ferramenta rodou sobre versões antigas do Signal que carregam falhas conhecidas e já corrigidas — e as identificou corretamente, mostrando que aquelas versões não passavam na verificação. A especificação e a prova produzidas serão publicadas para servir de base a outros trabalhos.

• Escopo: partes do protocolo que sustenta Signal, Google Messages e WhatsApp; nenhuma falha inédita encontrada no código atual.
• Método: fluxo de colaboração humano-IA, com revisão humana em pontos-chave, para evitar que o modelo gere metas e provas de si mesmo.
• Impacto para desenvolvedores: a prova é reutilizável e pode validar implementações próprias do protocolo, mas custo e escala continuam indefinidos — o Google não divulgou o custo da análise nem planos de produto comercial.

Fonte: WIRED

Meta lança Muse Ember, modelo proprietário barato para agentes

A Meta liberou o Muse Ember, modelo fechado voltado a tarefas repetitivas que tornam agentes caros em produção: leitura de documentos, chamadas de ferramentas, execução de testes e pequenas correções de código. Na avaliação de lançamento da Artificial Analysis, empatou com o Claude Haiku 5.5 no Intelligence Index, com custo estimado de US$ 0,14 por tarefa contra US$ 0,41.

O modelo está disponível como muse-ember-1.0 nos endpoints Responses, Chat Completions e Messages, com janela de contexto de 1.048.576 tokens e saída máxima de 524.288. Também aparece no Muse Code e em rotas via Oracle Cloud.

• Preço: US$ 0,10 por milhão de tokens de entrada não cacheada, US$ 0,004 para entrada em cache e US$ 0,50 de saída até 200 mil tokens; acima disso, US$ 0,30, US$ 0,012 e US$ 1,50.
• Agentes: completou 37,8% das tarefas do AutomationBench-AA na primeira tentativa, contra 20,2% do Luna e 13,9% do Haiku.
• Código: lidera o Coding Agent Index (46 contra 37 e 31), mas perde no FrontierCode 2.0 — 27,2% de patches prontos para merge contra 34,9% do Haiku.
• Impacto para desenvolvedores: o uso indicado é como primeira linha de execução, com escalonamento para um modelo mais forte quando o teste de integração falhar.
• Extensão: a Meta também levou o agente Muse para Apple Watch e Wear OS.

Fontes: VentureBeat · The Verge

Opção do Claude Code expõe credenciais em repositórios públicos

A Apiiro encontrou 1.122 arquivos de configuração do Claude Code publicamente acessíveis contendo credenciais reais, entre senhas de bancos de dados, chaves de nuvem e tokens. O vetor é o atalho "Yes, and don't ask again", que grava o comando inteiro — inclusive os segredos embutidos — em .claude/settings.local.json.

O arquivo deveria ficar restrito à máquina do desenvolvedor, mas as proteções do Claude Code contra upload para o GitHub não cobrem todos os casos. Os pesquisadores examinaram 104.185 cópias públicas do arquivo em 103.617 repositórios.

• Números: 1,1% dos arquivos continham segredos reais, somando 1.379 credenciais; a varredura ampliada, com histórico de versões, chegou a 2.539 credenciais em 1.994 repositórios.
• Vítimas: credenciais ligadas a 63 organizações, incluindo senhas de bancos de produção e chaves de um serviço que trata prontuários médicos.
• Resposta: Boris Cherny, chefe do Claude Code, reconheceu o problema em discussão no Hacker News e disse que a equipe estuda varredura embutida de segredos, sem prazo de correção.
• Ação imediata: buscar .claude/settings.local.json e .claude/settings.json no histórico público, revogar e substituir as chaves expostas, e não inserir credenciais em comandos executados por agentes.

Fonte: VentureBeat

Otter.ai passa a transcrever reuniões com troca de idiomas

O Otter.ai anunciou 27 novos idiomas, chegando a 31, e um modo de transcrição multilíngue que acompanha a conversa quando os participantes alternam de língua no meio da chamada — sem ajuste manual de configuração.

Treze idiomas já estão disponíveis, entre eles português, mandarim, coreano, alemão, italiano, russo e japonês; os outros 14 chegam depois. Os modelos de fala são próprios, treinados com conjuntos públicos e revisados por falantes nativos.

• Impacto para equipes: reuniões com fornecedores e times distribuídos deixam de exigir um idioma único ou gravação separada por locutor.
• Contexto: a expansão ocorre após aporte de US$ 320 milhões liderado pela General Catalyst, que financiou o Work Mode e o Live Assist.
• Limite: a transcrição acompanha a troca de idioma, mas a precisão por sotaque e a latência em chamadas longas não foram detalhadas pela empresa.

Fonte: TechCrunch

No radar do dia: pré-abertura dos mercados tech nos EUA após a rodada de lançamentos de modelos da madrugada, com atenção ao custo por tarefa como nova métrica de comparação entre fornecedores de agentes.