Formal Proof Verification

A technical method that uses computer programs to mechanically verify the validity of each inference step in a mathematical proof. Representative tools include interactive theorem provers such as Lean and Coq. The approach is considered an important pathway for improving the trustworthiness of AI-based mathematical reasoning.