Investigação
Anthropic diz que o Claude provou formalmente que 123 bibliotecas de código aberto não falham nos seus testes de fuzzing, trabalhando sobre o código compilado
Em parceria com a startup Theorem, a Anthropic pôs o Claude a escrever provas em Rocq para 239 pontos de entrada de fuzzing de 123 bibliotecas do OSS-Fuzz, ao nível do binário RISC-V, corrigindo centenas de erros pelo ca…