A DARPA construiu no início do mês uma antena refletora de 1,4 m no espaço com um manipulador autônomo, na missão ASTRA, que monta seções idênticas para formar uma treliça perimetral.
A Microsoft e a Terradot desenvolveram uma IA treinada com dados brasileiros que mede a remoção de CO₂ do solo usando metade das amostras de campo.
A AWS apresentou o Universal Agent Evaluation Framework (UAEF), sistema de avaliação de agentes de IA que usa adaptadores para converter traces de frameworks como LangGraph.
A Adobe revelou na Max os projetos experimentais Screen Test, Sight Span, Sound Bender e Rinse Repeat.
O Google DeepMind apresentou o AlphaGenome 2, modelo de IA que prevê os efeitos de variantes genéticas em tipos e estados celulares específicos.
O Google DeepMind usou o AlphaProof Code, sistema de demonstrações formais, para analisar propriedades de segurança do código do Signal ao longo de cerca de quatro semanas.
O Google DeepMind apresentou o Gemini Robotics 2.5, seu modelo visão-linguagem-ação mais capaz até agora.
O Hugging Face apresentou os modelos de decisão, que recebem um estado e perguntas com respostas predefinidas e retornam decisões estruturadas com probabilidades, sem gerar texto.
Por que ler: O texto detalha a interface comum de modelos de decisão e o suporte no Transformers, llama.cpp e Hub, mostrando como aplicações trocam geração de texto por probabilidades tipadas.
O Google DeepMind apresentou o AlphaProof Code, um framework agêntico que combina especialistas humanos e agentes de IA para verificação formal de software.
Pesquisadores de segurança da Apiiro encontraram milhares de segredos, incluindo senhas de banco de dados.
Linus Torvalds afirma que, no Linux 7.4-rc2, as correções auxiliadas por IA já superam os novos relatos de bugs ao menos na área do eBPF.
A NVIDIA apresentou na CoRL, em Austin, o GR00T 2, modelo aberto de ação no mundo construído sobre o Cosmos e treinado com 100 mil horas de dados egocêntricos humanos de código aberto.
Por que ler: A NVIDIA detalha o GR00T 2, o Isaac Lab 3.0 e novos benchmarks abertos para robótica, com números de sucesso e ganho de throughput que permitem comparar o avanço do treinamento em simulação.
O Google anunciou nesta segunda-feira, 9, duas versões de seus sistemas de chips para inteligência artificial.
Quatro dias após o lançamento no Switch 2, Ocarina of Time Remake já tem dois ports nativos para PC: o Hookshot, que exige cópia original e 60 GB, e o NX2navi, com DLSS e FSR 3.1.
Cerca de 90 equipes levaram cães-robôs e humanoides à primeira competição de escalada do Monte Taishan, com 3,9 km e mais de 3.100 degraus.
O pesquisador independente Derik Kauffman identificou no sistema operacional da Apple uma lista interna de aproximadamente 100 mil palavras e expressões que o teclado do iPhone evita sugerir, incluindo referências políticas como ditador Trump, Joe sonolento, conspiração de direita, independência do Tibete e Irlanda Unida. A investigação começou em setembro, após problemas na digitação por gestos, e usou ferramentas de programação e IA, entre elas o Codex, da OpenAI, e o Claude Code, da Anthropic. A Reuters testou parte dos termos em um iPhone e confirmou dificuldades na digitação por gestos ou ausência nas sugestões, e o engenheiro Matt Suiche, da Tolmo, recuperou a lista de forma independente. A Apple não comentou a descoberta nem os critérios de seleção, afirmando que os usuários podem escrever as palavras que desejarem e substituir as sugestões.
As ferramentas open source da NVIDIA para 6G, Aerial e Sionna, cresceram 10x em adoção global em um ano.
Boias com sensores acústicos e IA monitoram uma população de apenas 76 orcas ameaçadas de extinção nos Estados Unidos.
Hackers voltaram a explorar ativamente uma falha de segurança da Apple que afeta usuários de iPhone, Mac e iPad sem as atualizações lançadas em maio de 2024, segundo o The Hacker News.
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.
A Anthropic está desenvolvendo o FlashProve, um sistema open source que gera uma prova criptográfica de que uma saída veio de um modelo específico, segundo publicação da empresa.
A Anthropic divulgou o FlashProve, protótipo de pesquisa open source que usa a técnica criptográfica zkSNARK para provar que uma resposta veio do modelo alegado sem revelar os pesos.
O Google DeepMind mostrou como o Google Antigravity, com as novas Cheminformatics Skills, acelera fluxos de descoberta de fármacos.