probabilistically checkable proof
noun1
Computing, Computing theory, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.