RolfAndreassen comments on Limits on self-optimisation - Less Wrong

6 Post author: RolfAndreassen 20 January 2012 09:58PM

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

Comments (36)

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

Comment author: RolfAndreassen 21 January 2012 04:14:29AM 0 points [-]

Only if you can reliably tell when it didn't work. :)

Comment author: DanielLC 21 January 2012 08:25:18PM 0 points [-]

Make it so that if they give the same results, it can usually prove it. If they don't give the same results, it will never prove it. As such, it will work fine.

Comment author: RolfAndreassen 21 January 2012 09:51:46PM 0 points [-]

Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.

Comment author: DanielLC 22 January 2012 12:27:30AM 0 points [-]

It may. It may not. I don't know. It may be impossible to optimize a system that much. That's not my field.