= 27d567bc2d48d9f40e9ccc20ea370b15)
Eliezer_Yudkowsky comments on The Least Convenient Possible World - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (186)
Assuming the entity in question is cooperative, try this:
Ask it if P=NP is true, and for a proof for its answer to that in a form that you can easily understand. There's three possible outcomes:
If you get something that appears like an elegant proof, memorize it and recheck it every now and then. If your mind is sufficiently malfunctioning that it can't distinguish an elegant proof for P=NP from something that isn't, you may not be able to notice that from inside. There's still a chance whatever is afflicting you will get better over time; hence, do periodic rechecks, and pay particular attention to any nagging doubts about the proof you get while performing those.
In the meantime, interpret the fact that you've gotten an apparent proof as significant evidence for the entity in question being real and very powerful.
It says "There is no elegant proof". Next?
Ask again, with another famously unsolved math problem. Repeat until it stops saying that or you run out of problems you know.
If you ran out, ask the entity to choose a famous math problem not yet solved by human mathematicians, explain the problem to you, and then give you the solution including an elegant proof. Next time you have internet access, check whether the problem in question is indeed famous and doesn't have a published solution.
If the entity says "there are no famous unsolved math problems with elegant proofs", I would consider that significant empirical evidence that it isn't what it claims to be.
Depending on your definition of "elegant", there are probably no famous unsolved math problems with elegant proofs. For example, I would be surprised if any (current) famous unsolved math problems have proofs that could easily be understood by a lay audience.
It could give a formally checkable proof, that is far from being elegant, but your own simple proof checkers that you understand well can plough through a billion steps and verify the result.