OpenAI· GPT / ChatGPT / API

Our First Proof submissions

OpenAI shares its AI model's proof attempts for the First Proof math challenge, which tests research-grade reasoning on expert-level problems.

From the source

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

openai.com

Announced

20 Feb 2026 14:30 UTC

Detected

03 Aug 2026 21:11 UTC (+164d after)