Forecasting Research Institute × LEAP

Accuracy on FrontierMath Benchmark

Accuracy on FrontierMath Benchmark

Experts expect AI to solve three-quarters of research-level maths problems by 2030.

  • Apr 16, 2025 — Epoch AI has since reported a higher score for this date. The panel was shown 19% when it answered; the series plots the revised figure.

Hover to highlight a group, click to show or hide it

Our Analysis

How do we interpret these results

23% of experts predict that FrontierMath will be saturated by 2030 (>90%), meaning that AI can autonomously solve almost any math problem that resembles a problem a math PhD student might spend multiple days completing. While experts and superforecasters predict similarly, the public expects much less progress, predicting 27% by 2025, 38% by 2027, and 50% by 2030—25p.p. less than experts. Since eliciting forecasts, in Aug 2025 Gemini 2.5 surpassed o4-mini, scoring 29+/-3%, 10p.p. higher than the previous SOTA of 19%.

Forecasts by group

Median forecasts from each group

group202520272030
Experts
30.6%
55%
75%
Superforecasters
30%
54%
78%
Public
27%
38%
50%

Click any cell to compare

Rationale analysis

The main lines of reasoning driving the spread in estimates

Recent progress

High-forecast respondents often cite impressive recent trends: “Evaluated scores across benchmark types have tended to jump over 3 year periods. For example: MATH from 7% in 2021 to 72% in 2023 and 90% in 2024.” Another observes, “The historical data show a very rapid increase in the accuracy [on FrontierMath] over a time period just short of a year. In that time the accuracy increased from 0% to 19%.”

Trajectory

High-forecast respondents frequently emphasize likely continued progress: “We've seen jumps of around 5 points on this benchmark every couple of months so far and these jumps will only accelerate as scores approach 50% (benchmark scores tend to be roughly sigmoid-shaped over time).” Among low-forecast respondents, a common sentiment is that “the fastest…progress is behind us and we are now approaching the flat/end point portion of the S-Curve of advancement.”

Test-time compute

High-forecast respondents often highlight potential gains from scaling inference compute: “The current top scorer is a reasoning model, and the reasoning model paradigm is relatively new; this suggests that rapid improvements are likely as the paradigm evolves.” Another noted, “with very large amounts of inference compute, it's possible that o3 or o4-mini could already get well over 30% today.” Many low-forecast respondents, however, are skeptical that inference scaling will be sufficient to overcome fundamental architectural limitations.

Data

High-forecast respondents tend to believe that labs will have the training data they need to drive improvements. One notes that an “increased use of synthetic data…will likely lead to broader problem-solving capabilities,” and another that, “by 2031, the frontier labs will have enormous amounts of math data if they believe it's valuable and the RL process will solve the problem.” Low-forecast respondents are more skeptical that training data will be suitable for the task: “One of the key bottlenecks is the scarcity of high-quality, human-generated mathematical data.”

Architecture suitability

Many high-forecast respondents highlight math's suitability for current architectures. One states, “Existing LLMs are well-suited to make progress in math because math is about logical pattern matching, can be well-represented by text, and the answers are typically verifiable allowing for easy rewards.” Low-forecast respondents express considerable doubt that the current architecture will be sufficient. One mathematician states: “I am deeply skeptical of LLMs ever being able to excel at complex math. LLMs are linguistic pattern-replication machines, and advanced math requires a high degree of conceptual creativity and flexibility that does not derive from linguistic patterns.”

Incentives

Some high-forecast respondents expect sustained investment due to prestige and R&D value. One notes, “Math is highly relevant to many R&D domains, so progress in math has been, and is highly likely to continue to be, a focus for leading AI companies.” But many low-forecast respondents question that assumption: “Performance from 2028 to 2031 entirely depends on whether or not the frontier AI labs believe it's economically useful to continue improving performance on this benchmark,” writes one, with another bluntly concluding, “I don’t think current companies are focused on solving math.”

Rationale examples

High-quality rationales from forecasters across the range

High-forecast respondents

We’ve seen jumps of around 5 points on this benchmark every couple of months so far and these jumps will only accelerate as scores approach 50% (benchmark scores tend to be roughly sigmoid-shaped over time). Reasoning models are quickly improving their math abilities, and math is a priority for labs like OpenAI and Google DeepMind. One important factor here is that these will be Epoch-run evaluations, with a baseline of 19% today, and I assume future evaluations will be run with similar approaches. With very large amounts of inference compute, it’s possible that o3 or o4-mini could already get well over 30% today. Most benchmarks are saturated within a few years. For example, GPQA was a very difficult benchmark when it was released in late 2023, but has now been saturated just under two years later…

Evaluated scores across benchmark types have tended to jump over 3 year periods. For example: MATH from 7% in 2021 to 72% in 2023 and 90% in 2024. Similarly, GPQA jumped from mid 30s for GPT3, Grok 1 and Gemini to above 80% currently (across models). If the FrontierMath proves similarly susceptible to both scale and training focus a jump from 19% to the 70-80% plus range seems plausible by 2028.

Low-forecast respondents

FrontierMath … breaks slightly with previous benchmark creation ideals in that it is intended as a test that saturates human limits; harder math benchmarks would be difficult for humans to generate. Many older benchmarks are instead designed to be just within reach for current AI.

One of the key bottlenecks is the scarcity of high-quality, human-generated mathematical data. These problems are original and solving them typically requires deep intuition and multi-step reasoning that’s hard to find in any existing dataset. Most available math training data is either synthetic, shallow, or not aligned with the kind of work required for those problems. Until models can train on richer and more realistic human proofs or at least be fine-tuned on reasoning traces that resemble the way mathematicians think, performance will improve slowly.