An LLM verifier rated math proofs near-perfect; an expert found 17% correctkorbonits.com3 points·korbonits··0 commentsOpen articleSaveView on HN