Anthropic y Theorem afirmaron el 22 de octubre de 2026 que Claude ayudó a producir demostraciones de ausencia de fallos comprobadas por máquina para 239 puntos de entrada de OSS-Fuzz en 123 bibliotecas de código abierto, según la publicación de investigación de Anthropic.
El trabajo se realizó a nivel de ensamblador RISC-V compilado, con demostraciones comprobadas por Rocq en lugar de revisadas manualmente. Anthropic también afirma que Claude encontró y corrigió errores durante los intentos de demostración, incluidos problemas que el fuzzing no había detectado pese a las pruebas previas.
La garantía es más limitada de lo que sugiere el titular. La principal afirmación de Anthropic sobre la ausencia de fallos se aplica a entradas de menos de 64 MB y depende de supuestos declarados, incluidos binarios Linux RISC-V estáticos y de un solo hilo que se ejecutan dentro de un presupuesto de memoria fijo. Esto significa que el resultado no se traslada automáticamente a otras arquitecturas ni a rutas de código no modeladas.
Anthropic afirma que publicará un subconjunto de las demostraciones y la semántica, mientras que Theorem ofrece el proceso para otros proyectos de código abierto.