Todos os posts

Claude Duet, o runtime OpenShell da Nvidia e verificação de software por IA

Compartilhe este post

Nesta edição, destacamos avanços práticos na execução e governança de agentes autônomos, além do uso de IA para reforçar a segurança do código-fonte e acelerar a pesquisa científica.

Imagem: Anthropic

Claude Duet: automação proativa para tarefas corporativas

Segundo a Anthropic, o Claude Duet é uma prévia de pesquisa de um agente de IA proativo alimentado pelo modelo Opus 5.5 e voltado para assinantes dos planos Pro e Max nos Estados Unidos. A ferramenta executa tarefas corporativas de forma autônoma em um ambiente próprio na nuvem e se conecta a mais de 6.000 integrações, incluindo serviços como e-mail, agenda e sistemas de pagamento. O sistema gera resumos matinais, elabora relatórios e painéis, e solicita autorização expressa do usuário antes de realizar ações sensíveis, como enviar mensagens ou processar pagamentos.

Como aplicar na sua empresa

A automação proativa com agentes integrados a sistemas corporativos permite descentralizar tarefas administrativas de rotina mantendo o controle humano sobre decisões críticas. Isso amplia a eficiência operacional das equipes, que passam a focar em análises estratégicas enquanto a IA supervisiona fluxos contínuos de trabalho.

Fale com um especialista

Nvidia OpenShell: ambiente seguro para frotas de agentes autônomos

De acordo com a NVIDIA, o OpenShell é um ambiente de execução de código aberto projetado para gerenciar frotas de agentes autônomos de IA com privacidade e segurança. A plataforma isola cada agente em sandboxes e utiliza instrumentação no nível do núcleo do sistema para controlar acessos a arquivos, chamadas de sistema e conexões de rede. Além disso, o sistema emprega verificação formal para avaliar alterações em políticas de acesso antes de aprová-las, garantindo que credenciais sejam adicionadas apenas a requisições direcionadas a endpoints autorizados.

Como aplicar na sua empresa

À medida que as empresas aceleram o uso de agentes autônomos com acesso a dados internos e APIs, ter uma governança rigorosa em nível de infraestrutura torna-se indispensável. O gerenciamento centralizado de permissões permite escalar a automação por agentes minimizando a exposição inadvertida de credenciais e dados sensíveis.

Fale com um especialista
Imagem: Anthropic

Verificação formal de software em escala com modelos de linguagem

Segundo a Anthropic, uma colaboração com a Theorem demonstrou o uso do Claude para realizar verificação formal de software em grande escala no nível de código assembly RISC-V. O modelo provou propriedades de segurança contra falhas e erros de memória em 239 pontos de entrada de 123 bibliotecas de código aberto do projeto OSS-Fuzz. Durante a geração das provas matemáticas, a IA também identificou e corrigiu falhas antigas que haviam passado despercebidas por testes tradicionais, e o compartilhamento de provas entre agentes reduziu o consumo de tokens em 17%.

Como aplicar na sua empresa

A verificação formal automatizada por IA reduz drasticamente o custo e o tempo necessários para demonstrar matematicamente a ausência de certas falhas no software. Para o setor corporativo, essa capacidade oferece um caminho viável para auditar e elevar a confiabilidade de sistemas críticos de forma preventiva.

Fale com um especialista

Agentes de IA distribuídos aceleram descobertas em dados biológicos

De acordo com a OpenAI, uma colaboração com a PerturbAI e o Scripps Research utilizou milhares de agentes de IA baseados no modelo GPT-Rosalind para analisar dados de milhões de células cerebrais em 32 minutos. Os agentes distribuídos examinaram alterações genéticas por CRISPR, correlacionaram os resultados com a literatura científica e criaram um atlas de raciocínio relacionando genes, mecanismos biológicos e publicações. O sistema distribuído citou mais de 700 artigos científicos e revelou hipóteses promissoras relacionadas a genes associados a doenças neurodegenerativas.

Como aplicar na sua empresa

O processamento distribuído por agentes de IA permite analisar rapidamente volumes gigantescos de dados complexos de P&D cruzando-os com o acervo técnico existente. Essa abordagem acelera a identificação de hipóteses promissoras, otimizando investimentos em pesquisas em setores intensivos em conhecimento.

Fale com um especialista

Compartilhe este post

Curadoria da Versagil, com apoio de IA.

Da leitura à prática

As notícias mostram o que está mudando. Estes são os caminhos para levar o assunto à operação da sua empresa.

Ver todas as soluções

Quer saber onde a IA ajuda na sua empresa?

Em cerca de 2 minutos, o diagnóstico gratuito mostra o estágio da sua empresa e o próximo passo.