[R] Frontier LLMs are worse at verifying proofs than generating them: best model hits only 65.1 Balanced F1 on error detection (AdvancedMathBench)