ProofBench v1.1 (Lean 4) is an AI benchmark used to evaluate model capabilities. Review its overview, metrics, official resources, and model leaderboard results on DataLearnerAI.
Browse the latest scores, model modes, release dates, and parameter sizes for ProofBench v1.1 (Lean 4).
Data sourced primarily from official releases (GitHub, Hugging Face, papers), then benchmark leaderboards, then third-party evaluators. Learn about our data methodology
| Rank | Model | License | |||
|---|---|---|---|---|---|
— |  Claude Opus 5.5 Thinking Level · MaxTools | 100.00 | 2026-09-22 | Unknown | Closed |
— |  GPT-6 Sol Thinking Level · MaxTools | 83.00 | 2026-09-22 | Unknown | Closed |
— | GPT-6 Luna Thinking Level · MaxTools | 64.00 | 2026-09-22 | Unknown | Closed |
