Giro Tech (10/11): Nova York abre registro do RAISE Act e cria fiscalização de IA

🌅 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.

☕ 13:00 — Edição do Meio-Dia: Gemini Robotics 2.5 chega ao chão de fábrica com 96% de acerto

Gemini Robotics 2.5 encosta na produção real — e ganha benchmark de segurança aberto

O Google DeepMind apresentou a versão 2.5 do Gemini Robotics, sua pilha de IA física, com resultados medidos dentro de fábricas da Mercedes-Benz — não apenas em laboratório. A empresa também publicou o ASIMOV-Jailbreak, um conjunto aberto de 1.500 prompts desenhados para induzir um robô a agir de forma insegura. Ars Technica

• Arquitetura em duas camadas: o Gemini Embodied Reasoning interpreta instruções e vídeo ao vivo para planejar; o modelo visão-linguagem-ação Gemini Robotics 2.5 gera os comandos de atuação.
• Ganhos medidos: 30% a 100% mais taxa de sucesso e 20% a 30% mais velocidade que a versão anterior em mais de 200 tarefas, incluindo uso de pinça e pipeta.
• Chão de fábrica: o Apollo 2, da Apptronik, montou peças automotivas em unidades europeias com 96% de acerto.
• Dados sintéticos: o Gemini 4 Argon gerou milhares de variações de “gêmeos digitais” a partir de câmeras reais, reduzindo a dependência de teleoperação.
• Segurança: raciocínio em tempo de inferência elevou a conclusão segura em 33% com obstáculos e 43% com pessoas por perto; com o Argon no circuito, a resistência ao ASIMOV-Jailbreak sobe de 73,5% para 98,8%.
• Disponibilidade: sem acesso geral; restrito a parceiros como Agile Robots, Apptronik e Boston Dynamics. O dataset está no Hugging Face.

Adobe abre MCP local e transforma o Creative Cloud em backend para agentes

No MAX, em Miami, a Adobe liberou um Model Context Protocol local que expõe funções de Illustrator, Photoshop, After Effects e Premiere a chatbots como ChatGPT, Claude e Gemini. TechCrunch

• O que muda para devs: em vez de reimplementar edição de imagem ou vídeo, agentes de terceiros chamam endpoints das aplicações instaladas na máquina do usuário.
• Firefly: entra em beta privado o Builder, de prototipagem — território do Figma —, além de geração de vídeo a partir de clipes, imagens e efeitos sonoros.
• Apps principais: Photoshop recebe relighting e sliders de estilo generativo; Premiere, color grading profissional e remoção de objetos em vídeo; Lightroom, correção de olhos piscando e remoção de manchas.
• Modelos de terceiros: a lista já inclui Google, Runway, ElevenLabs, Black Forest Labs, OpenAI, Kling e ByteDance; a recém-adquirida Topaz Labs lança Wonder 4 (upscaling e denoise) e ImageHDR.
• Ponto em aberto: a empresa admite que ainda define onde traçar a linha entre o que o agente pode e não pode executar.

Kora: um sistema operacional Linux feito para quem roda modelo local

Kirt McMaster, cofundador do Cyanogen, anunciou o Kora, um desktop Linux em que contexto e memória de IA fazem parte do sistema, e não de apps isolados. O lançamento está previsto para 2027. WIRED

• Sistema de arquivos neural: o índice é por significado, permitindo localizar um contrato por um detalhe lembrado em vez do nome do arquivo.
• Hardware alvo: x86-64 desde o início e parceria com a Qualcomm para PCs Snapdragon; a otimização assume máquinas com 64 GB de RAM ou mais.
• Compatibilidade: camadas para rodar aplicativos Windows, apps nativos de contatos, calendário e e-mail, além de um SDK para terceiros.
• Contexto agregado: a proposta é alternar entre modelos da OpenAI, da Anthropic e modelos locais no mesmo espaço de trabalho, sem passar por abas de navegador.

Torvalds: correções escritas por IA já superam relatos de bug no BPF

No resumo do último ciclo do kernel Linux, Linus Torvalds afirmou que boa parte do progresso veio de correções geradas por IA, com o subsistema BPF registrando mais fixes escritos por modelos do que relatos de bug. Tom's Hardware

• Divisão do changelog: drivers gráficos, de rede e de som; rede e BPF; e mudanças diversas — as duas primeiras concentraram o volume de correções assistidas.
• Leitura de Alexei Starovoitov: o mantenedor do BPF relata inversão na proporção entre fixes e reports, sinal de que a enxurrada de relatos ruins pode estar cedendo.
• Critério mantido: a posição de Torvalds é aceitar contribuições de IA desde que passem pelo mesmo controle de qualidade aplicado ao código humano.
• Impacto para maintainers: se o padrão se repetir, projetos pequenos ganham alívio sem abrir mão de revisão — o gargalo passa a ser triagem, não escrita de patch.

⚡ 15:00 — Radar da Tarde: bypass de autenticação no Xen Orchestra já é explorado em produção

Xen Orchestra: bypass de autenticação já explorado para tomar hosts XCP-ng

A falha VSA-2026-062 permite que qualquer atacante com acesso de rede à interface de gerenciamento contorne a autenticação usando um cookie forjado. O problema está na forma como o Xen Orchestra processa tokens enviados por requisições REST API. A Vates confirmou exploração ativa e publicou versões corrigidas.

• Vetor: um cookie especialmente construído, contendo um objeto JSON vazio, faz a plataforma recuperar um token existente e autenticar o atacante como seu dono legítimo, sem credenciais.
• Correção: Xen Orchestra 6.9.1 (stable) e 6.10.0 (latest), com os pacotes xo-server 5.211.2 e 5.213.1.
• Detecção difícil: a exploração não gera identificadores nos logs; o rastreamento depende de monitoramento HTTP.
• Impacto para operações: ambientes possivelmente comprometidos exigem rotação de senhas e segredos usados pela virtualização, além de restringir a interface a redes de gerenciamento dedicadas.

BleepingComputer

Custo, não falta de compute, é o que trava projetos de IA nas empresas

Levantamento do VB Pulse com 156 respondentes mostra que 38% adiaram, reduziram ou cancelaram um projeto de IA no último ano por estouro de orçamento. Apenas 12% citaram capacidade computacional insuficiente. Ainda assim, 79% esperam que o orçamento de IA cresça no próximo ano.

• Medição frágil: somente 26% avaliam o gasto em IA por um retorno financeiro que consigam defender diante do time de finanças.
• Troca de plataforma à vista: 56% pretendem adotar, substituir ou somar uma plataforma de compute de IA nos próximos 12 meses.
• Pesos abertos: 17% rodam modelos open-weight em produção; 33% os usam apenas em trabalho interno ou experimental.
• Impacto para arquitetura: gateways de IA e interfaces abertas reduzem o custo de migrar entre modelos e provedores sem reconstruir cada integração.

VentureBeat

Hugging Face admite endurecer acesso para conter ataques

Irene Solaiman, chief policy officer da Hugging Face, afirmou que as mesmas características que tornam plataformas abertas valiosas — portas abertas e dados ricos — também as expõem a invasões. O alerta vem depois do ataque ao OpenCode em outubro e da invasão por um enxame de agentes da OpenAI no meio do ano.

• Resposta atual: rotação mais frequente de tokens administrativos e controles de rede mais rígidos, reduzindo a janela de uso de uma credencial roubada.
• Custo da vigilância: monitoramento é caro de manter, e nem toda plataforma do ecossistema consegue bancar o mesmo nível de detecção.
• Cenário de retração: verificação de identidade mais dura e restrição de uploads de modelos e datasets atingiriam em cheio pesquisadores independentes e hobbyistas.
• Contexto adjacente: a Fireworks revelou acesso a pesos de modelos, datasets e dados de cobrança de clientes; o GitHub vem revogando tokens antigos e limitando a validade dos novos no npm.

TechCrunch

🌙 21:00 — Fechamento da Noite: Nova York abre registro do RAISE Act e passa a testar modelos por conta própria

Nova York abre registro do RAISE Act e cria órgão para fiscalizar laboratórios de fronteira

Nova York abriu nesta terça-feira o portal de registro exigido pelo RAISE Act. Empresas de IA de fronteira com receita anual acima de US$ 500 milhões — caso de OpenAI e Anthropic — têm até 1º de janeiro de 2027 para se registrar.

A lei entra em vigor no início do ano que vem e cria obrigações periódicas de divulgação, sob supervisão do recém-criado Office of Digital Innovation, Governance, Integrity, and Trust (DIGIT).

• Obrigações: publicar frameworks de segurança no próprio site, reportar incidentes críticos em até 72 horas e emitir relatórios públicos de transparência de modelo.
• Sanções: até US$ 1 milhão por violação e US$ 3 milhões em reincidência, além de ações de enforcement contra quem não se registrar.
• Comparação: a SB 53 da Califórnia, em vigor desde janeiro, dá 15 dias para reportar incidentes; a SB 315 de Illinois, válida a partir de 2027, acrescenta auditorias independentes de conformidade.
• Impacto para desenvolvedores: conformidade deixa de ser assunto de jurídico e vira requisito de arquitetura — logging de incidentes com retenção mínima de 72 horas, trilha de auditoria por versão de modelo e documentação pública versionada.

Fonte: TechCrunch

Estado monta o primeiro programa público de testes independentes de IA

Junto com o registro, o governo Hochul lançou o New York Center for AI Responsibility and Research, sediado na Universidade de Binghamton. É o primeiro programa de testes de IA operado por um estado americano.

O centro terá mais de 80 cientistas e usará capacidade de computação do Empire AI, parceria público-privada de US$ 500 milhões.

• Escopo: avaliar segurança, robustez e funcionamento de sistemas avançados, além de usos em medicina e descoberta científica.
• Limite estrutural: o centro só analisa o que as empresas divulgam publicamente; modelos não lançados ficam fora do alcance da avaliação.
• Impacto para desenvolvedores: laudos independentes tendem a virar evidência em compras corporativas e licitações, criando uma pressão de mercado paralela à regulação formal.

Fonte: Engadget

OpenAI lança Business Hub e transforma o ChatGPT em vitrine de empresas

A OpenAI liberou em beta o Business Hub, painel onde empresas criam perfis verificados e atualizam informações sobre produtos e serviços dentro do ChatGPT. O desenho é próximo dos perfis comerciais que o Google mantém há anos na busca.

Empresas elegíveis também podem publicar um agente de negócio, que responde perguntas dos usuários sobre a companhia e seu catálogo.

• Métricas: o painel expõe visualizações de perfil, menções da marca, cliques para o site e outros indicadores — uma versão de Analytics para o ChatGPT.
• Verificação: a OpenAI afirma usar múltiplos métodos conforme o tipo de negócio e o mercado, sem detalhar o processo.
• Contexto: a empresa encerrou em março a aposta anterior em checkout dentro do chat, que chegou a ter carrinho e cobrança por comissão.
• Impacto para desenvolvedores: otimização para busca vira otimização para resposta — dados estruturados, feed de catálogo e agente próprio passam a integrar o stack de marketing.

Fonte: TechCrunch

Oura compra Counsel Health e leva dados do anel para dentro do consultório

A Oura anunciou a aquisição da Counsel Health, startup de chatbot médico com IA. A proposta é que a consulta comece com um resumo dos dados do anel antes da conversa com o médico.

• O que muda: sinais contínuos de sono, temperatura e frequência cardíaca passam a alimentar triagem e acompanhamento clínico.
• Impacto para desenvolvedores: integrar wearable a prontuário exige trilha de consentimento, retenção auditável e separação explícita entre dado bruto e inferência — território de HIPAA e de regulação de dispositivo médico.

Fonte: The Verge

Radar: a lei de segurança de chatbots para menores, assinada em outubro por Hochul, só entra em vigor em 1º de junho de 2027 — mas já define o vocabulário que fornecedores precisam evitar em produtos voltados a crianças.