https://ai-mathematician.net/zh/tags/%E6%95%B0%E5%AD%A6%E9%AA%8C%E8%AF%81/Recent content in 数学验证 on AIM BlogHugozhSun, 17 May 2026 00:00:00 +0000https://ai-mathematician.net/zh/posts/pessimistic-verification/Sun, 17 May 2026 00:00:00 +0000https://ai-mathematician.net/zh/posts/pessimistic-verification/我们提出 Pessimistic Verification，用多角度、分层次的错误搜索提升大模型对开放式数学证明的自动验证能力。