用形式化规则检验 AI 生成的证明是否成立。
AI 的证明进了考场，铁面监考会逐步验算：少写关键一步，再像样也判不成立。
核验数学证明和程序性质，让关键结论不只靠“看起来对”。
Automated Theorem Proving它可核验自动定理证明系统给出的证明是否有效。
Formalized Mathematics形式化数学提供机器能逐步检查的证明表达。
AI Self-verification它是让 AI 用严格规则自查推导的一种方式。