Jonathan_Graehl comments on AI cooperation in practice - Less Wrong

26 Post author: cousin_it 30 July 2010 04:21PM

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

Sort By: Best

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

Comment author: Jonathan_Graehl 01 August 2010 07:49:29AM 2 points [-]

"proved by a proof checker" - huh?

Comment author: timtyler 01 August 2010 08:44:40AM -1 points [-]

"Asserted", "approved" - whatever.

Comments (157)