ProofBench Benchmark Scores
Each model's ProofBench score. Color = provider.
ProofBench Benchmark Scores
ProofBench Benchmark Scores
Each model's ProofBench score. Color = provider.
Controls:
How to read this chart
Bars rank models by the source-backed benchmark value used for this chart. Longer bars indicate higher published scores.
Data sources
ProofBench vs Effective Cost
ProofBench vs Effective Cost
X = effective cost (log). Y = ProofBench. Color = provider.
Controls:
How to read this chart
Each point is a public model. The chart compares ProofBench against Effective Cost (per 1M I/O Tokens), with color showing the model provider.
Data sources
IQ DimensionsMathematical Reasoning IQEach model's Mathematical Reasoning IQ plotted on a standard normal IQ distributionData: Epoch AI FrontierMath, Vals.ai, Artificial Analysis +1 moreOpen chartCoreAI Models on the IQ Bell CurveEach model's estimated IQ plotted on a standard normal IQ distributionData: ARC Prize, Epoch AI FrontierMath, Vals.ai +25 moreOpen chartIQ BenchmarksAIME Benchmark ScoresEach model's AIME score. Color = provider.Data: Vals.ai, Artificial AnalysisOpen chartIQ BenchmarksFrontierMath Tier 1-3 Benchmark ScoresEach model's FrontierMath Tier 1-3 score. Color = provider.Data: Epoch AI FrontierMathOpen chartIQ BenchmarksFrontierMath Tier 4 Benchmark ScoresEach model's FrontierMath Tier 4 score. Color = provider.Data: Epoch AI FrontierMathOpen chartIQ BenchmarksMathArena Benchmark ScoresEach model's MathArena expected performance. Color = provider.Data: MathArenaOpen chart