alt Hacker News> > If a magic oracle tells you p=np, that's useless. How would that change anything?
> Oh it would change a lot. It would be an enormous psychological boost for everyone to find a practical algorithm.
OK, I tell you that P=NP, and that I am a magic oracle. So, you have you psychological boost for finding a practical algorithm for free. :-)
Kinda pointless, because
a) I am already convinced that P=NP
b) You have to convince many other people as well (that you're a magic oracle), because for the effect to work, lot of people would have to work on the problem (or at least spend tokens)
Nevertheless, a plausible magic oracle (such as Lean-verified proof, even if non-constructive and incomprehensible for humans) would convince many to take a 2nd look.