# Our First Proof submissions

DevFeed: [Our First Proof submissions](<https://devfeed.tech/articles/our-first-proof-submissions-6406.md>)

Original publisher: [Read original article](<https://openai.com/index/first-proof-submissions>)

Published: 2026-02-20T14:30:00Z

Content type: article

Language: en

Sources: [OpenAI News](<https://devfeed.tech/sources/openai-news.md>)

Topics: [math](<https://devfeed.tech/topics/math.md>), [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [AI Models](<https://devfeed.tech/topics/ai-models.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [ai-models](<https://devfeed.tech/tags/ai-models.md>), [analysis](<https://devfeed.tech/tags/analysis.md>), [benchmarks](<https://devfeed.tech/tags/benchmarks.md>), [math](<https://devfeed.tech/tags/math.md>), [model](<https://devfeed.tech/tags/model.md>), [reasoning](<https://devfeed.tech/tags/reasoning.md>), [research](<https://devfeed.tech/tags/research.md>), [review](<https://devfeed.tech/tags/review.md>)

## AI overview

OpenAI shares an AI model's proof attempts for all ten problems in the First Proof math challenge. The article describes expert review of the attempts, identifies several as likely correct, notes that problem 2 is now considered incorrect, and discusses research-grade reasoning as a way to evaluate advanced AI capabilities.

## Source excerpt

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