Entity · benchmark

First Proof

benchmarkactivefirst-proof-4ae2d4cd·1 events·first seen May 20, 2026

Aliases: First Proof

Co-occurring entities

More like this (12)

Formal Proof Search PROVE Seed-Prover 1.5 Neural Theorem Prover MaxProof IMO-Proof Bench Advanced Willems Fundamental Lemma Prover-Verifier Games automated theorem proving Math-Verify AI-assisted theorem proving SpecFirst

Recent events (1)

6Openai Blog·May 20, 2026·source ↗

OpenAI Shares First Proof Math Challenge Submissions

OpenAI has published its AI model's proof attempts for the First Proof math challenge, a competition designed to test research-grade mathematical reasoning on expert-level problems. This represents a capability demonstration of OpenAI's models on formal mathematical proof generation. The submission signals continued progress in AI mathematical reasoning at a level approaching or engaging with professional research mathematics.

Frontier Model Releases Evaluation and Benchmarking First Proof OpenAI