§ feed · storyline
Our First Proof submissions
An AI model submits proof attempts to the First Proof math challenge, testing research-grade reasoning on expert-level problems.
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
§ sources1 publication · timeline below
- openai.comOur First Proof submissionsprimary