A Proof Against Oracle AI — LessWrong