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.

Andreas_Giger 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.

Comment author: Andreas_Giger 26 January 2013 08:53:21AM 4 points [-]

"I have discovered a truly marvelous proof of Fermat's Last Theorem, which this line is too short to contain."

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.)