Como a IA ajuda a proteger uma das populações de orcas mais ameaçadas do mundo
Boias com sensores acústicos e IA monitoram uma população de apenas 76 orcas ameaçadas de extinção nos Estados Unidos.
#ciência
ExameNota da IA4242 Hugging Face BlogSeleçãoNota da IA7474 NVIDIA lança quatro modelos abertos Cosmos 3 para simulação interativa de mundos
A NVIDIA adicionou quatro checkpoints de pesos abertos à família Cosmos 3 para geração de simulação interativa de mundos e cenas de direção com múltiplos sensores e pontos de vista.
Por que ler: A NVIDIA detalha quatro checkpoints de pesos abertos do Cosmos 3 Nano, com 16B de parâmetros treináveis e receita de pós-treinamento em quatro estágios para adaptação a novos sensores.
Microsoft ResearchNota da IA5858 Microsoft Research apresenta o PDD Kit para verificar formalmente apps web escritos por agentes
A Microsoft Research apresentou o PDD Kit, um kit de desenvolvimento que transforma a intenção do usuário em especificação formal em Verus.
Google ResearchNota da IA7171 Google Research usa sensores de smartwatch para detectar sinais de hipertensão
O Google Research apresentou o AI-PPG-ACC-HTN, um sistema multimodal de IA que detecta sinais de hipertensão a partir de sensores de smartwatch, sem necessidade de calibração com manguito.
The DecoderNota da IA7272 Tencent lança Hy4 com visão e uso de computador e reivindica segundo lugar entre modelos chineses
A Tencent lançou o modelo Hy4, que entende imagens e opera softwares de forma autônoma.
The DecoderNota da IA5858 Benchmark GDPx, da SemiAnalysis, testa agentes de IA em trabalho simulado e nenhum passa de 12%
A SemiAnalysis lançou o GDPx, benchmark que coloca agentes de IA em ambientes simulados de trabalho por até oito horas.
TechCrunch · AINota da IA7171 Axiom Math formaliza o Stacks Project com agentes de IA e cria base verificada em Lean
A Axiom Math anunciou a verificação formal do Stacks Project, uma das maiores coleções de matemática escrita por humanos, iniciada em 2005 por Johan de Jong.
Hugging Face BlogSeleçãoNota da IA7171 Phonon TTS: modelos de voz em dispositivo de 65 MB e 75 MB e pesos abertos
A Gradium abriu o Phonon, modelo de TTS que roda no próprio dispositivo sem servidor nem rede。
Por que ler: O texto detalha como o Phonon, com cerca de 65 MB e 75 MB, chega a cinco idiomas e lidera em inteligibilidade em alemão e espanhol, além de explicar a integração no Transformers.
Google ResearchNota da IA5858 Google Research apresenta o Agile Deliberation, framework que ajuda humanos a definir áreas cinzentas com IA
O Google Research apresentou o Agile Deliberation, um framework que trata a criação de classificadores subjetivos como uma conversa iterativa entre humano e IA.
The DecoderNota da IA5858 CloudOpsBench aponta raciocínio como maior gargalo de agentes de IA em operações de nuvem
O CloudOpsBench, benchmark open source com 45 tarefas de DevOps na AWS, mostra que mesmo os melhores modelos falham em muitas delas: Claude Fable 5.1 resolveu 60% e GPT-6 Astra, 53%.
Hugging Face BlogNota da IA6262 StateBench avalia como modelos de linguagem acompanham mudanças de estado em documentos longos
Pesquisadores apresentam o StateBench, um benchmark de rastreamento de estado em contexto longo que mede como modelos acompanham informações sobre entidades ao longo de documentos.
Google DeepMindNota da IA6262 Google DeepMind apresenta skills de química computacional no Antigravity
O Google DeepMind mostrou como o Google Antigravity, com as novas Cheminformatics Skills, acelera fluxos de descoberta de fármacos.
Hugging Face BlogSeleçãoNota da IA6060 Palette: modelo aberto de 20B aprende a montar slides no seu design
A IBM Research apresentou o Palette, um ajuste fino com LoRA de um modelo aberto de 20B que divide a criação de slides entre um designer.
Por que ler: O texto detalha como sintetizar dados com raciocínio contrafactual e usar um harness de verificação e reparo para fazer um modelo aberto de 20B competir em geração de slides.
Hugging Face BlogSeleçãoNota da IA6262 Collinear AI publica o CWE-bench v2 com 100 tarefas de segurança e ranking de modelos
A Collinear AI abriu o CWE-bench v2, conjunto público de 100 tarefas em que um agente recebe um repositório open source real e deve encontrar e corrigir uma falha de segurança sem quebrar a funcionalidade existente. As tarefas cobrem 91 CWEs e a pontuação é totalmente programática, com verificação determinística e reproduzível; há também um conjunto reservado para acompanhar tarefas que nenhum modelo viu. Entre os 11 modelos avaliados, o Gemini 4 Argon lidera com 67,8% de pass@1 e 81,0% de pass@4, à frente do Claude Opus 5.5 (67,3% e 78,0%), e 95 tarefas são resolvidas por ao menos um modelo, mas o líder falha 19% do conjunto em todas as tentativas. Na fronteira de custo, o DeepSeek V4.1 Flash alcança 57,0% de pass@1 a US$ 0,04 por rollout, o Opus soma dez pontos a US$ 1,83 e o Gemini chega a US$ 3,92. O conjunto, o avaliador e o harness são abertos, e as tarefas rodam pelo Harbor direto do repositório no Hugging Face, com acesso sujeito a aprovação.
Por que ler: O conjunto público de 100 tarefas com verificação determinística permite reproduzir resultados e comparar modelos em correção de falhas de segurança, com o custo por execução ao lado do desempenho.
Agência Brasil SaúdeNota da IA6262 Câncer de próstata matou 50 homens por dia no Brasil em 2025
Cerca de 18,5 mil homens morreram no Brasil em 2025 vítimas do câncer de próstata.
Google ResearchSeleçãoNota da IA7272 Google Research apresenta framework sleep para LLMs reterem conhecimento em aprendizado contínuo
O Google Research apresentou o framework sleep, que alterna fases ativas de interação com fases offline de consolidação de memória para permitir que LLMs aprendam continuamente sem esquecimento catastrófico. O método usa expansão de parâmetros com MoE, destilação de conhecimento e um estágio de sonho com seleção aleatória de especialistas e refinamento por RL. Nos testes, manteve queda de desempenho próxima de zero em tradução contínua para línguas não vistas, escalou até 10M tokens no BABILong e alcançou 48,9% em tarefa única e 46,2% em CPT no SQuAD, além de 79,2%, 69,0% e 46,1% em AIME 24/25 e HMMT 25.
Por que ler: O texto detalha o mecanismo de consolidação e sonho do framework e reporta ganhos em tradução contínua, contexto longo e raciocínio matemático, com comparação a baselines como SFT e GRPO.