Math Verification on AIM Bloghttps://ai-mathematician.net/en/tags/math-verification/Recent content in Math Verification on AIM BlogHugoenSun, 17 May 2026 00:00:00 +0000Pessimistic Verification: Helping LLMs Check Mathematical Proofshttps://ai-mathematician.net/en/posts/pessimistic-verification/Sun, 17 May 2026 00:00:00 +0000https://ai-mathematician.net/en/posts/pessimistic-verification/We present Pessimistic Verification, a simple and efficient way to improve LLM-based verification for open-ended mathematical proofs.