> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
I don't think I would describe SHA256 prefix matching as "a well-known SAT problem".
> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
I'm not sure I follow -- do you mean there is a challenge open somewhere which pays 200k$?
Bitcoin. Bitcoin relies on SAT being unsolvable.
The payout is pretty great.
Solve SAT.
Short the hell out of bitcoin.
Release solution.
Solve SAT.
Mine 1 block each day.
Sell.
That's a great way to make millions instead of billions.
Chess isn't NP, is it?
Why not SAT? There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
Or crypto. Math. Chess.