Will Al achieve 95% or higher score on the FrontierMath benchmark before 2030?
One-OffKITechnikWissenschaft3JManifold MarketsKein KYCVerifizierte AuflösungsdatenOrdentlich kalibriertAktuelle Community-PrognoseJa 99%
Prognostiker
16
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 2 Stunden
Veraltet29. Dez. 24, 08:34 UTC31. Dez. 29, 07:59 UTC
Trends
Verwandte Märkte
Verwandte Fragen als Kontext, kein Vergleich gleichwertiger Kontrakte.
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 MarketsWhat will be true of the SOTA AI on the FrontierMath benchmark, before 2027?
Manifold MarketsWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsWho will solve P = NP?
Manifold MarketsRegeln
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.
