logoalt Hacker News

js8today at 2:41 PM0 repliesview on HN

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.