Vals ProofBench (ProofBench)
We show this table for reference; we do not rank on it.
Vals AI automated theorem-proving benchmark.
ProofBench score on ProofBench — September 28, 2026
We mirror the published proofbench score view for ProofBench. Claude Sonnet 5.5 leads the public snapshot at 100.00%, followed by Claude Opus 5.5 (100.00%) and Claude Fable 5.1 (100.00%). We do not use these results to rank models overall.
Claude Sonnet 5.5
Anthropic
Claude Opus 5.5
Anthropic
Claude Fable 5.1
Anthropic
44 modelsMathematicsCurrentDisplay onlyUpdated September 28, 2026
ProofBench score table (44 models)
ScoreHow ProofBench is shown here
BenchLM mirrors the public Vals AI ProofBench leaderboard captured from https://www.vals.ai/benchmarks/proof_bench and updated by Vals on September 28, 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.
Snapshot
The published ProofBench snapshot places Claude Sonnet 5.5 first at 100.00%. The third row is 0.00 points behind. The broader top-10 range is 17.00 points, so the table still separates the published systems.
44 models have been evaluated on ProofBench. The benchmark falls in the Mathematics 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.
Freshness and 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.
Questions
What does ProofBench measure?
Vals AI automated theorem-proving benchmark.
Which model leads the published ProofBench snapshot?
Claude Sonnet 5.5 currently leads the published ProofBench snapshot with 100.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?
The September 28, 2026 snapshot contains 44 AI models.
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.