First Proof: Research-Level Math for AI Evaluation(1stproof.org)11 points by panic 101 days ago | 0 commentsNo comments yet