x
$10,000 bounty for theorem refutation — LessWrong