# OpenAI — Our First Proof submissions

- Company: OpenAI (openai.com)
- Announced: 2026-02-20T14:30:00+00:00
- Subject: GPT / ChatGPT / API
- Source: https://openai.com/index/first-proof-submissions
- Record: https://forck.live/items/266-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.

## Evidence

Verbatim from https://openai.com/index/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.

---

Record: https://forck.live/items/266-our-first-proof-submissions
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md