A Anthropic relata que, com a Theorem, usou Claude para provar propriedades específicas de segurança em mais de 100 bibliotecas abertas.
O estudo de 22 de outubro aborda código compilado para RISC-V e provas verificadas por máquina. As garantias cobrem as especificações e premissas declaradas, não todos os erros possíveis. Equipes devem distinguir testes de exemplos da verificação de uma propriedade explícita; a especificação e o ambiente real também precisam de revisão.
