Our First Proof submissions

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


https://openai.com/index/first-proof-submissions?utm_source=dlvr.it&utm_medium=blogger