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.
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.
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.
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.