9 ms·An LLM verifier rated math proofs near-perfect; an expert found 17% correct3 points by korbonits 3mo ago