[deleted] comments on Work on Security Instead of Friendliness?

[[deleted]]

I don’t understand. The base rate for Marcello being right is greater than 0.5.

Oh, right. The point remains that even a perfect Oracle isn’t an efficient source of math proofs.