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.
Primary Source
Official announcement from Openai. These are their claims—they have marketing incentives.