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