Vals AI ProofBench — leaderboard
Metric: Accuracy (%). Source: www.vals.ai. 51 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Fable 5 | 77 |
| 2 | GPT-5.6 Sol | 77 |
| 3 | GPT-5.6 Sol (Max) | 77 |
| 4 | Claude Fable 5 (Max) | 77 |
| 5 | GPT-5.6 Terra | 71 |
| 6 | GPT-5.6 Terra (xHigh) | 71 |
| 7 | Kimi K3 | 70 |
| 8 | Claude Opus 4.8 | 69 |
| 9 | Claude Opus 4.8 (Max) | 69 |
| 10 | Claude Sonnet 5 | 66 |
| 11 | Claude Sonnet 5 (Max) | 66 |
| 12 | GPT-5.4 (xHigh) | 56 |
| 13 | GPT-5.4 (2026-03-05) | 56 |
| 14 | Claude Opus 4.7 | 54 |
| 15 | GPT-5.6 Luna | 54 |
Interactive version: theaggregate.ai/benchmark?slug=vals-ai-proofbench · How the rankings work · Data refreshed daily, snapshot 2026-07-22.