清华提出并行悲观验证方法，降低数学证明验证成本并提升错误检出。
推荐理由：把证明验证建模为低概率错误检出并采用“一票否决”，progressive版本在同等效果下只用约四分之一成本，还把IMO 2025流程分数从13推到22。
阅读原文