PhilGoetz comments on Friendly, but Dumb: Why formal Friendliness proofs may not be as safe as they appear - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (4)
This post might make more sense to me if you presented these proofs.