What is the current top score on ProofBench?

The top reported score is 100.0% by Claude Fable 5.1, across 77 models reporting (37 from frontier labs).

ProofBench

Saturated

Automated theorem proving benchmark

Cite

Notes

Only stored in your browser.

Attribution

Top score 100.0% by Claude Fable 5.1 - 77 models reporting (37 frontier)

ProofBenchBar chart with 21 bars. Highest value: Claude Opus 5.5 at 100.

21 models

vals.ai

What is ProofBench?: Automated theorem proving benchmark
What is the current top score on ProofBench?: The top reported score is 100.0% by Claude Fable 5.1, across 77 models reporting (37 from frontier labs).