Comment on Work on Security Instead of Friendliness?

Mon, 23 Jul 2012 22:54:04 GMT

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.

Discuss