Hacker News new | ask | show | jobs
First Proof: Research-Level Math for AI Evaluation (1stproof.org)
11 points by panic 140 days ago