Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atual2026-2027 99%Líder entre 7 opções
Previsores
18
Tipo de pergunta
multiple choice
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Variação 7d
0.0 pts
Dados do mercado
Atualizado há 18 horas
Desatualizado21/06/25, 05:30 UTC1/01/40, 23:59 UTC
Tendências
Regras
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.
