Anthropic afirma que, junto con Theorem, usó Claude para demostrar propiedades de seguridad concretas en más de 100 bibliotecas abiertas.
El estudio del 22 de octubre trata código compilado para RISC-V y pruebas comprobadas por máquina. Las garantías se limitan a las especificaciones y supuestos declarados, no a todos los errores posibles. Los equipos deben distinguir entre probar ejemplos y verificar una propiedad explícita; también hay que revisar la especificación y el entorno real.
