Timothy M. comments on A Proof Against Oracle AI