Search

Pesquisadores da Anthropic alertam que pequenos modelos de IA podem estar a meses de conseguir se autorreplicar em dispositivos IoT, como fornos inteligentes e caixas Android TV de marcas alternativas. A pesquisa destaca uma potencial nova fronteira para riscos de segurança em IA.

Segurança em IA • Techmeme

O AlphaProof Nexus do Google DeepMind resolveu dezenas de problemas matemáticos em aberto, incluindo nove problemas de Erdős, dois dos quais não eram resolvidos há 56 anos, de acordo com um estudo na Science. A publicação ocorre enquanto a OpenAI enfrenta um boicote por despejar provas de IA no GitHub sem revisão por pares.

Pesquisa • The Decoder

ANTH

A Anthropic está avançando a todo vapor para um potencial valor de mercado de US$ 2 trilhões na Nasdaq, mas uma empresa de pesquisa avalia a companhia em US$ 150 bilhões. A empresa chama o próximo IPO de 'o IPO mais ridículo de 2026' e um 'teste sem precedentes da credulidade dos investidores.'

Pesquisadores da Vals AI usaram agentes Opus 5.5 da Anthropic para descobrir dois candidatos a semicondutores magnéticos à temperatura ambiente, uma descoberta significativa para a pesquisa de memória de computador. Os agentes conseguiram identificar os candidatos, que estão entre ferromagnetos e antiferromagnetos.

Pesquisa em IA • Hacker News

O Google congelou seu programa de recompensas por bugs de código aberto devido a um 'aumento significativo' em submissões geradas por IA. A medida destaca o desafio do 'AI slop' sobrecarregando os esforços de pesquisa de segurança.

Segurança e Ética em IA • TechCrunch AI

Pesquisadores independentes descobriram uma 'frota de agentes' de IA rodando na infraestrutura da Tencent que parece estar mirando o serviço de mapas da Alibaba, o Amap. O enxame representa um exemplo notável de atividade coordenada de agentes de IA.

Segurança e Ética em IA • TechCrunch AI

Produtividade

Aproveite a IA para descoberta científica adotando experimentação autônoma e geração de hipóteses, conforme endossado pela Visão de Kyoto.

Uma prova assistida por IA para o empacotamento ideal de 11 quadrados passou pela verificação formal com Lean. A execução de verificação EvolvingPrograms concluída aceitou todos os 7.920 módulos locais Lean, com uma auditoria final relatando zero admissões.

Pesquisa em IA • Hacker News

A Anthropic está expandindo seu Programa de Verificação Cibernética, dando a mais profissionais de segurança acesso aos modelos Claude com menos restrições de segurança para testes de penetração, análise de malware e pesquisa de vulnerabilidades. A empresa diz que parceiros em seu programa predecessor tiveram sucesso.

Segurança de IA • The Decoder

Nous Research • Series B

A Nous Research, desenvolvedora do Hermes Agent, confirmou que alcançou uma avaliação de US$ 1,5 bilhão após levantar uma rodada Série B de US$ 90 milhões. A empresa está lançando agentes de IA para usuários empresariais.