MANIFOLD
Which AI company first solves FrontierMath 85%?
32
Ṁ1.5kṀ3.3k
Dec 31
48%
OpenAI
9%
Anthropic
3%
Meta
3%
xAI
29%
Google
7%
Other

This question resolves to to whichever company first reaches score on the FrontierMath benchmark above or equal to 85.0% for fully-automated computer method.

Market context
AI
Technology
Technical AI Timelines
OpenAI
FrontierMath Tier 1-3
Get
Ṁ1,000
to start trading!

People are also trading

Which company's AI model will score highest on the "First Proof" benchmark?
Will AI be better every human at proving Math theorems by the end of 2030?
-10% 1d37% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
66% chance
Which AI lab will have the highest Sudoku-Bench score by March 1, 2026?
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
35% chance
Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?
43% chance
By when will AI score >= 80% on FrontierMath
Who is winning among frontier AI companies?
Which AI lab will be the first to solve a millennium prize problem?
Benchmark Gap #8: Once a single AI gets >= 80% on FrontierMath Tier 4, how long until an AI publishes a math paper?
17
© Manifold Markets, Inc.•Terms•Privacy