prover

American  

[proov-er] / ˈpruv ər /

noun

plural

provers

1. any of various automated devices, programs, or systems used to prove or test the quality or accuracy of something, especially of a meter.

2. Computers. often theorem prover, also called proof assistant. a program that proves or assists in proving mathematical theorems by applying rule-based logic to a set of axioms and established theorems. Provers are used to test the security of encryption algorithms.

3. Computers. the more powerful of two AI models (the other being the verifier) in a game designed to train AI models to justify their answers. In the game, the prover's objective is to make the verifier believe a particular answer to a question, while the verifier's is to choose the correct answer regardless of what the prover says.

4. a person who proves something, such as a theorem.

---

Other Word Forms

• multi-prover
  noun

Example Sentences

One math gadget is called a proof assistant, or interactive theorem prover.

From New York Times • Jul. 2, 2023

It’s not at all obvious how to go about thinking up some new twist on these things—the transformation from test-taker to theorem poser and then theorem prover is difficult to articulate.

From The New Yorker • Nov. 7, 2019

“The fingerprints and photos we have prover otherwise,” Abdullah said.

From Fox News • Oct. 3, 2019

This is exemplified by the model of blind quantum computation37, which requires the verifier to be able to create single-qubit states and send them to the prover.

From Nature • Sep. 12, 2017

One prover, a nervous lady medical student, gives to-day in her report "a feeling of quiet and calmness, mentally."

From New, Old, and Forgotten Remedies: Papers by Many Writers by Anshutz, Edward Pollock