Automated Theorem Proving — AI Dictionary

Using AI systems to construct or check mathematical proofs so rigorously that a computer can formally verify every step, instead of relying only on human peer review.