Benchmark profile
Vals ProofBench (ProofBench)
Vals AI automated theorem-proving benchmark.
Data verifiedHow BenchLM shows ProofBench
BenchLM mirrors the public Vals AI ProofBench leaderboard captured from https://www.vals.ai/benchmarks/proof_bench and updated by Vals on July 23, 2026. The snapshot preserves overall scores, uncertainty, latency, cost-per-test metadata, and task-level scores where Vals publishes them.
ProofBench is display only on BenchLM. Vals proprietary or Vals-hosted aggregate views are useful context, but BenchLM does not use them as weighted ranking inputs or as a replacement for benchmark-native source records.
ProofBench score on ProofBench — July 23, 2026
BenchLM mirrors the published proofbench score view for ProofBench. Claude Opus 5 leads the public snapshot at 78.00% , followed by GPT-5.6 Sol (77.00%) and Claude Fable 5 (77.00%). BenchLM does not use these results to rank models overall.
Claude Opus 5
Anthropic
anthropic/claude-opus-5
GPT-5.6 Sol
OpenAI
openai/gpt-5.6-sol
Claude Fable 5
Anthropic
anthropic/claude-fable-5
ProofBench score table (54 models)
ScoreThe published ProofBench snapshot places Claude Opus 5 first at 78.00%. The third row is 1.00 points behind. The broader top-10 range is 24.00 points, so the table still separates the published systems.
54 models have been evaluated on ProofBench. The benchmark falls in the External benchmark mirrors category. We keep external benchmark mirrors separate from the weighted global scoring system, so these results remain source-specific evidence. ProofBench is currently displayed for reference but excluded from the scoring formula, so it does not directly affect overall rankings.
About ProofBench
Year
2026
Tasks
Automated theorem proving
Format
Accuracy score
Difficulty
Formal proof reasoning
BenchLM mirrors Vals ProofBench as a display-only math and proof benchmark.
BenchLM freshness & provenance
Version
ProofBench 2026
Refresh cadence
Quarterly
Staleness state
Current
Question availability
Public benchmark set
BenchLM uses freshness metadata to decide whether a benchmark should still be treated as a strong differentiator, a benchmark to watch, or a display-only reference. For the full scoring policy, see the BenchLM methodology page.
FAQ
What does ProofBench measure?
Vals AI automated theorem-proving benchmark.
Which model leads the published ProofBench snapshot?
Claude Opus 5 currently leads the published ProofBench snapshot with 78.00% proofbench score. BenchLM shows this benchmark for display only and does not use it in overall rankings.
How many models are evaluated on ProofBench?
54 AI models are included in BenchLM's mirrored ProofBench snapshot, based on the public leaderboard captured on July 23, 2026.
Know when it’s worth switching models
The model to choose, the cheaper alternative, and the release we would wait on.
Read a sample issueJoin 2,000+ readers.
One email each week. Unsubscribe anytime.