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.

PhilipL comments on AI box: AI has one shot at avoiding destruction - what might it say? - Less Wrong Discussion

18 Post author: ancientcampus 22 January 2013 08:22PM

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

Comments (354)

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

Comment author: [deleted] 26 January 2013 03:23:31PM 1 point [-]

It has already been proven.

Comment author: Andreas_Giger 26 January 2013 03:38:52PM 2 points [-]

Of course, but not elegantly.

Comment author: CAE_Jones 29 January 2013 04:30:39AM 0 points [-]

I believe this was part serious example, part reference to the Laganne(sp?) Omake in HPMoR.

Comment author: [deleted] 29 January 2013 01:45:47PM 3 points [-]

It's a reference to the original phrasing of Fermat's note on said theorem: "It is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second, into two like powers. I have discovered a truly marvelous proof of this, which this margin is too narrow to contain." (It is questionable whether this is true or not.)