alt Hacker NewsIf it’s an oracle and we know it’s an oracle then it’s not useless. Humans make mistake and there are examples of published results that were widely believed to be correct by experts that later proved to be wrong. Why do you think human verified proofs are better than machine verified proofs?
Suppose an oracle tells us the Riemann Hypothesis is correct. There are a vast number of results of the form:
If RH is correct then A.
It would be very useful to have an oracle tells us whether or not RH is correct.
Replies
Jensson • today at 4:03 AM
> It would be very useful to have an oracle tells us whether or not RH is correct.
For what? Which product becomes better if it is correct?
➕ show 1 reply
I asked how would it change anything. What's the next step if an oracle were to tell you p=np that changes anything about the world?
We all believe it. It's a magic oracle. Now what?