Our First Proof submissions

Ignore

OpenAI Blog · 2026-02-20 14:30 UTC

Not analyzed yet

Eligible for automatic cleanup in 3 day(s) unless marked Must Read.

Content

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