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 17, 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 17, 2026
BenchLM mirrors the published proofbench score view for ProofBench. GPT-5.6 Sol leads the public snapshot at 77.00% , followed by Claude Fable 5 (77.00%) and GPT-5.6 Terra (71.00%). BenchLM does not use these results to rank models overall.
GPT-5.6 Sol
OpenAI
openai/gpt-5.6-sol
Claude Fable 5
Anthropic
anthropic/claude-fable-5
GPT-5.6 Terra
OpenAI
openai/gpt-5.6-terra
ProofBench score table (51 models)
ScoreThe published ProofBench snapshot places GPT-5.6 Sol first at 77.00%. The third row is 6.00 points behind. The broader top-10 range is 23.00 points, so the table still separates the published systems.
51 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?
GPT-5.6 Sol currently leads the published ProofBench snapshot with 77.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?
51 AI models are included in BenchLM's mirrored ProofBench snapshot, based on the public leaderboard captured on July 17, 2026.
Choose a model with this week’s evidence
Join 2,000+ readers for ranking moves, pricing changes, and the claims that still need proof.
One email each week. Unsubscribe anytime.