You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

TheAncientGeek comments on Steelmanning MIRI critics - Less Wrong Discussion

6 Post author: fowlertm 19 August 2014 03:14AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (67)

Comments (67)

You are viewing a single comment's thread. Show more comments above.

Comment author: TheAncientGeek 21 August 2014 10:16:21AM 2 points [-]

Otherwise compared to nothing, or otherwise compared to informal methods?

Are you talking into account that the formal/proveable/unupdateable approach has a drawback in the AI domain that it doesn't have in the non AI domain, namely you lose the potential to tell an AI "stop doing that,it isn't nice"

Comment author: lukeprog 21 August 2014 03:46:04PM -1 points [-]

you lose the potential to tell an AI "stop doing that,it isn't nice"

How so?

Comment author: TheAncientGeek 22 August 2014 02:57:02PM *  0 points [-]

Do you think that wouldl work on Clippie?

Powered by Reddit Powered by Reddit