First Proof: Research-Level Math for AI Evaluation1stproof.org11 points·panic··0 commentsOpen articleSaveView on HN