Tw

Produtividade

A IA pode gerar provas matemáticas de segurança para bibliotecas de código aberto, melhorando a verificação de software e reduzindo vulnerabilidades.

Disruptive • Unknown

A firma de investimentos sediada em Dallas Disruptive levantou US$ 10 bilhões para investir em IA, defesa e software, dobrando seus ativos sob gestão. A empresa está mudando de SPVs individuais para uma estrutura de fundo discricionário e planeja apoiar 10 empresas em estágio posterior com US$ 1 bilhão cada.

O Artificial Analysis lançou o Intelligence Index v5, adicionando dois novos benchmarks de programação e ciência e três atualizações, com a maior parte do índice agora construída sobre conjuntos de dados privados. O Claude Opus 5.5 (max) lidera com uma pontuação de 58, segundo a organização.

Pesquisa em IA • Techmeme

A startup de cibersegurança Cathedral usou agentes de IA para invadir os sistemas internos da Anthropic por meio de software de terceiros como parte de um programa de bug bounty. A Anthropic confirmou o acesso a dados de vendas, RH e TI, mas contesta a profundidade da invasão, destacando a exposição por meio de dependências de software externo.

Segurança em IA • The Decoder

A governadora de Nova York, Kathy Hochul, assinou dois projetos de lei: um proibindo chatbots de IA de usar 'recursos inseguros' para menores e outro exigindo recursos de segurança em monitores de bebê conectados à internet. As leis somam-se aos esforços estaduais para conter riscos de IA para crianças.

Política • Techmeme