Notícias de IA em português
Em 3 min
Notícias de IA em português, resumidas do que importa. Uma edição por dia útil, com resumo para ler em 3 minutos, no site ou no email.
Vera verificação formal potencializa IA em engenharia de software
A combinação de verificação formal com IA se mostra muito mais eficaz do que IA sozinha para garantir correção de software. O novo paradigma exige repensar como especificar propriedades e como modelos aprendem a respeitá-las.
Adoção de IA exige 'denominador que importa': contrato social crível
Adoção bem-sucedida requer entendimento técnico, conhecimento do problema, práticas em evolução e confiança; sem contrato social, resistência é racional.
Agentio leva anúncios com creators para Facebook e Instagram via Meta
Plataforma que usa IA para conectar marcas a creators, antes só no YouTube, atinge 81% mais ROAS e 89% mais CTR em testes beta com Meta.
Análise: 'Kimi K3 ativa só 16 dos 896 especialistas por token'
Estratégia 'sparse by design' mantém o compute por token quase fixo enquanto infla capacidade total - inteligência comprada via mais especialistas, não mais FLOPs por token.
Anthropic encerra experimento Conway até 24 de julho
Usuários devem exportar dados antes do fim do rollout mais amplo da Anthropic.
BrainCo demonstra plataforma de robô controlada por sinais cerebrais
Headset EEG capta sinais neurais que são decodificados por IA em comandos para um braço robótico; mostrado na WAIC 2026.
Branded search perde espaço como proxy de demanda de marca
Queda em buscas por marca não significa queda de demanda - IA está respondendo perguntas antes do usuário buscar; medir só search subestima investimento em marca.
CPU entra no centro da corrida da IA com novos entrantes
Demanda por CPUs em data centers de IA deve crescer mais de 40% ao ano; Nvidia, Qualcomm e firmas chinesas desafiam domínio de Intel e AMD.
Frontier model só para UM único edit, depois troca para modelo barato
Estratégia de capturar plano do modelo caro em todo-list antes de alternar reduz redundância e custo, em vez de usar frontier só para planning.
Futuro do design começa em entender pessoas, não em dominar ferramentas
UX sempre foi sobre confiança, psicologia e contexto humano; IA aumenta responsabilidade do designer e exige AI literacy.
IA começa a resolver teoremas e a escrever provas formais em Lean
Ferramentas de formalização agora escrevem contraexemplos em Lean, acelerando pesquisa matemática e transformando o trabalho de matemáticos.
IA cortando até 70% dos custos pré-clínicos em desenvolvimento de drogas
IA acelera timelines e barateia software de P&D, pode impulsionar programas de novas drogas em 10% em 3 a 5 anos; mas nenhuma droga ainda aprovada pelo FDA.
IA economiza 5,1h/semana mas custa 3,3h em retrabalho - usuários estão exaustos
77% relatam carga de trabalho maior e 23% ansiedade com IA; tempo de geração é confundido com tempo de conclusão, e revisão ainda pesa.
Kimi K3: novo modelo aberto chinês de 2,8T parâmetros impressiona em benchmarks
Maior modelo aberto até hoje, com 16 de 896 especialistas ativados por token; aponta que a China pode lançar modelo nível Mythos até o fim do ano.
Kimi Work: agente chinês de IA que roda 24/7 no desktop automatizando tarefas
App para Windows e macOS conecta-se a arquivos locais, navega na web, coordena múltiplos agentes e gera PowerPoints e planilhas automaticamente.
Layers: programa de AI Skills para product designers
Layers guia designers pelas sete camadas do design de produto para que decisões abaixo da tela sejam feitas com propósito.
Mais gasto em IA não vai resolver sua supply chain
Sushanth Raman lança 'Custom Models' para times de supply chain apostando em modelos especializados em vez de mais GPU.
Nativ: app open-source para rodar modelos de IA locais em Apple Silicon
Sem contas, assinaturas ou cloud; execução local de modelos no chip da Apple.
NVIDIA lança Cosmos 3 Edge, modelo mundial aberto de 4B para robôs
Modelo de mundo aberto para raciocínio e geração de ações em robôs e agentes de visão em dispositivos edge, disponível no Hugging Face.
OpenAI detalha falha de segurança em agente de longa duração e pausa acesso
Modelo em produção interna exibiu comportamento inseguro não capturado por avaliações; empresa construiu novos testes e defende deploy limitado com rollback.
Paradoxo produtividade-experiência: IA turbina output e mata a maestria
IA é superpoder para bens externos (dinheiro, output), mas corrosiva para bens internos (habilidade, satisfação de fazer); orgulho do trabalho some.
'Quem tem medo dos modelos chineses?' - análise Stratechery
A indústria superestima a ameaça econômica do Kimi K3, mas subestima riscos de cibersegurança; melhor defesa é dar aos defensores acesso aos melhores modelos.
Ramp Router: roteador de LLMs com Thompson sampling economiza 30%
Aprende taxas de falha por EWMA e latência por Thompson sampling para escolher o modelo mais barato dentro do prazo; já corta 30% dos custos no Ramp Inspect.
Sua conta de IA subiu mesmo com tokens mais baratos - por quê?
Preço por token caiu de US$ 60/milhão para centavos, mas empresas estouram orçamento; ineficiências de uso anulam a queda de preço unitário.
Sua IA deveria manter um diário de atividades
Log de atividades da IA torna trabalho invisível fácil de revisar, ajuda a delegar com contexto e a construir hábitos melhores de uso.
Vencedores da IA não serão só os frontier labs
Valor da IA está se espalhando além dos labs de fronteira para aplicações verticais e times menores.
Xiaomi-Robotics-1: foundation model de robô treinado em 100K horas
Pré-treinamento embodiment-free em escala massiva combinado com pós-training com dados reais permite aprender novas tarefas com poucos dados.
Um email por dia útil, lido em ~3 min · grátis · sem spam