x
A Proof Against Oracle AI — LessWrong