Anthropic afirma que Claude demostró la seguridad de 123 bibliotecas

Según la empresa, las demostraciones verificadas por máquina, elaboradas junto con la firma de métodos formales Theorem, también destaparon cientos de errores que habían sobrevivido durante años a las pruebas de fuzzing.