probabilistically checkable proof
Short definition from Wiktionary
Noun
- A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
We haven’t written up probabilistically checkable proof yet: Simple and Standard meanings, examples and a quiz.