Ota

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.

Waymo • Debt

A Waymo aumentou o tamanho de sua primeira captação de dívida de US$ 3B+ para US$ 5B, de acordo com a Bloomberg. A empresa está lidando com custos crescentes de IA e expandindo rapidamente sua frota de robotáxis.

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