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.

Source: OpenAI — Published February 20, 2026 at 14:30 UTC — Category: Models