An LLM verifier rated math proofs near-perfect; an expert found 17% correct
korbonits.com