First Proof: Research-Level Math for AI Evaluation #1 Post by panic » Fri, Feb 06, 2026, 11:00 AM UTC First Proof: Research-Level Math for AI Evaluation1stproof.org