More relevant than ever:
> The amount of energy needed to refute bullshit is an order of magnitude bigger than that needed to produce it.
> The amount of energy needed to refute bullshit is an order of magnitude bigger than that needed to produce it.
Not actually contradictory. Verification is cheap when there's a spec to check against. 'Valid Sudoku?' is mechanical. But 'good paper?' has no spec. That's judgment, not verification.
... for NP-hard problems.
It says nothing about the difficulty of finding or checking solutions of polynomial ("P") or exponential ("EXPTIME") problems.