OpenAI 公布 First Proof 数学挑战 AI 证明尝试

We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.