Stretch 4: o robô que prefere dados ao hype humanoide
Destaque Inteligência Artificial 04/06/2026

Stretch 4: o robô que prefere dados ao hype humanoide

Hello Robot lança Stretch 4, robô de assistência doméstica que prioriza dados reais sobre promessas. Para pesquisadores e desenvolvedores, o diferencial está na segurança e na coleta de dados no mundo real.

Mais publicações

Página 1 de 224
Detectando alucinações de IA com um probe linear simples
Ferramentas de IA 03/06/2026

Detectando alucinações de IA com um probe linear simples

Pesquisa mostra que estados ocultos de LLMs quantizados revelam alucinações com AUROC >0.9. Uma técnica leve e aplicável a modelos populares.

Ler mais
Lovable e Google: o custo real de crescer com agente de IA
Notícias 03/06/2026

Lovable e Google: o custo real de crescer com agente de IA

Lovable quintuplicou uso da Google Cloud em acordo que inclui Claude e Gemini. O que isso significa para custo, segurança e dependência?

Ler mais
Google obrigado a liberar opt-out de AI Overviews no Reino Unido
Ferramentas de IA 03/06/2026

Google obrigado a liberar opt-out de AI Overviews no Reino Unido

Regulador do Reino Unido exige que Google ofereça controle sobre uso de conteúdo em AI Overviews e fine-tuning. Precedente importante para publishers.

Ler mais
Microsoft vs OpenAI: a briga que vai mudar o mercado de IA
Ferramentas de IA 03/06/2026

Microsoft vs OpenAI: a briga que vai mudar o mercado de IA

Com modelos próprios de raciocínio e agentes, Microsoft mostra que está pronta para competir com OpenAI. O fim da aliança muda o jogo.

Ler mais
Gemma 4 12B roda IA multimodal em laptops com 16GB de RAM
Visão Computacional 03/06/2026

Gemma 4 12B roda IA multimodal em laptops com 16GB de RAM

Google DeepMind libera Gemma 4 12B, modelo aberto que roda localmente com 16GB de RAM, processando texto, imagem e áudio. Teste grátis no seu notebook.

Ler mais
Axiom resolve Putnam 12/12: verificação formal turbina RL em matemática
Inteligência Artificial 03/06/2026

Axiom resolve Putnam 12/12: verificação formal turbina RL em matemática

Startup Axiom resolve todas as questões do exame Putnam usando verificação formal com Lean. Marco supera humanos e outros sistemas de IA.

Ler mais
O apetite por IA sustenta US$ 85 bilhões: Alphabet mostra a conta
Notícias 03/06/2026

O apetite por IA sustenta US$ 85 bilhões: Alphabet mostra a conta

A Alphabet levantou US$ 85 bilhões com ações para IA. O recorde sinaliza fome do mercado, mas levanta a dúvida: quanto tempo dura esse apetite e o que isso significa para os IPOs de IA?

Ler mais