jsalvatier comments on Cryptographic Boxes for Unfriendly AI

[jsalvatier]

Actually computers can mechanically check proofs for any formal system.

[wedrifid]

Is there something missing from the parent? It does not seem to parse.

[jsalvatier]

Yes, edited. thanks.

[wedrifid]

And upvoted. :)