Um engenheiro do Ant Group, Chen Cheng, realizou engenharia reversa do código-fonte Claude Code 2.1.81, revelando seu mecanismo de decisão no Auto Mode. Este mecanismo avalia chamadas de ferramentas através de um pipeline de decisão de quatro camadas, invocando um classificador de IA independente para revisão de segurança apenas quando as três primeiras camadas não conseguem determinar uma conclusão. O classificador foi projetado com foco em monitorização de riscos, equipado com mecanismo de disjuntor e controlo de frequência de injeção de instruções de comportamento.

A Mistral AI lançou Leanstral, um agente de código de código aberto especificamente concebido para verificação formal em Lean 4, capaz de gerar código e provas que podem ser automaticamente validadas. O modelo utiliza uma arquitetura MoE esparsa, com desempenho superior ao de outros modelos de topo, e oferece descarregamento gratuito e chamadas de API.

Gate News Bot消息，8月28日，据CoinMarketCap行情，截至发稿时，TREE（Treehouse）现报 0.55 dólares, 24 horas内 subir 80.38%,最高触及 0.59 dólares,最低回落至 0.28 dólares, 24 horas volume达 156 milhões de dólares. 当前 capitalização de mercado约为 85,6 milhões de dólares,较昨日 subir约38,2 milhões de dólares. TREE notícias importantes recentes: 1️⃣ **Treehouse lança soluções tecnológicas inovadoras** O projeto Treehouse lançou recentemente uma solução técnica inovadora chamada "Timeout Trees", destinada a resolver o problema de escalabilidade dos LSP (Provedores de Serviços de Lightning Network). Esta tecnologia avança