verificación formal

Anthropic asegura que Claude probó la seguridad de 123 bibliotecas

Anthropic afirma que su modelo Claude redactó pruebas matemáticas verificadas por máquina que demuestran que el código compilado de 123 bibliotecas de código abierto no puede fallar bajo condiciones definidas. El modelo también detectó errores que habían pasado desapercibidos durante…