Anthropic publica que Claude verifica formalmente 123 bibliotecas RISC-V automáticamente
Claude generó pruebas formales sobre código ensamblador verificado con el kernel de Rocq, en colaboración con Theorem, ampliando la automatización de la verificación formal de software.