Current community forecast
Yes 99%
Forecasters
16
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 18 hours ago
StaleDec 29, 24, 8:34 AM UTCDec 31, 29, 7:59 AM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
In what year will Al achieve 95% or higher score on the FrontierMath benchmark?
Manifold MarketsWill Al achieve 85% or higher on the Humanity's Last Exam benchmark before 2030?
Manifold MarketsWill Al achieve 95% or higher on the Humanity's Last Exam benchmark before 2030?
Manifold MarketsWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsWill OpenAI publicly claim a solution to a SECOND Millennium Prize Problem by November 30, 2026?
Manifold MarketsWill we get AGI before 2028?
Manifold MarketsRules
We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians.
- The questions cover most major branches of modern mathematics -- from computationally intensive problems in number theory and real analysis to abstract questions in algebraic geometry and category theory.
- Solving a typical problem requires multiple hours of effort from a researcher in the relevant branch of mathematics, and for the upper end questions, multiple days.
- FrontierMath uses new, unpublished problems and automated verification to reliably evaluate models while minimizing risk of data contamination.
- Current state-of-the-art AI models solve under 2% of problems, revealing a vast gap between AI capabilities and the prowess of the mathematical community.
- As AI systems advance toward expert-level mathematical abilities, FrontierMath offers a rigorous testbed that quantifies their progress.
