What is the current top score on ProofBench?

The top reported score is 78.0% by Claude Opus 5, across 51 models reporting (26 from frontier labs).

ProofBench

Frontier

Automated theorem proving benchmark

Cite

Notes

Only stored in your browser.

Attribution

Top score 78.0% by Claude Opus 5 - 51 models reporting (26 frontier)

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

21 models

vals.ai

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