Our First Proof submissions

【RSS 原文 · 未经 AI 筛选或翻译】We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.