Transparencia

Anthropic publica que Claude verifica formalmente 123 bibliotecas RISC-V automáticamente

Afirmaciones verificadas

Anthropic y Theorem colaboraron en la investigación de verificación formal automática de software existente.
Estado: Verificada (fuente primaria)
Claude generó pruebas formales sobre 123 bibliotecas de código abierto para la arquitectura RISC‑V, verificadas mediante el kernel de Rocq.
Estado: Verificada (fuente primaria)
Claude generó pruebas formales sobre código ensamblador de 123 bibliotecas de código abierto para la arquitectura RISC‑V.
Estado: Verificada (fuente primaria)
El modelo utilizado en la investigación se denomina ‘Claude’ (no se especifica versión).
Estado: Verificada (fuente primaria)
El verificador utilizado por Claude fue el kernel de Rocq.
Estado: Verificada (fuente primaria)