What is the current top score on ProofBench?

The top reported score is 99.0% by Claude Opus 5, across 56 models reporting (27 from frontier labs).

ProofBench

Saturated

Automated theorem proving benchmark

Cite

Notes

Only stored in your browser.

Attribution

Top score 99.0% by Claude Opus 5 - 56 models reporting (27 frontier)

ProofBenchBar chart with 21 bars. Highest value: Claude Opus 5 at 99.

21 models

vals.ai

What is ProofBench?: Automated theorem proving benchmark
What is the current top score on ProofBench?: The top reported score is 99.0% by Claude Opus 5, across 56 models reporting (27 from frontier labs).