= 27d567bc2d48d9f40e9ccc20ea370b15)
Sebastian_Hagen 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)
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.