Our First Proof submissions
OpenAI shares its model's proof attempts on the First Proof math challenge, testing frontier-level mathematical reasoning on expert problems.
Excerpt
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
Read at source: https://openai.com/index/first-proof-submissions