timtyler comments on Cryptographic Boxes for Unfriendly AI

[timtyler]

Best to be careful with the term “provably secure”—since “provable security” is a technical term with a rather counter-intuitive meaning.