Skip to main content
MANIFOLD
Which AI company first solves FrontierMath 85%?
34
Ṁ1.5kṀ3.5k
Dec 31
46%
OpenAI
22%
Anthropic
3%
Meta
3%
xAI
21%
Google
5%
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
Technology
AI
OpenAI
Technical AI Timelines
FrontierMath Tier 1-3
Get
Ṁ1,000
to start trading!

People are also trading

Will an AI make a new breakthrough on the hardest math problems, as defined by Epoch AI, by the end of 2027?
-9% 1d42% chance
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?
45% chance
Will AI models solve at least 2 FrontierMath Open Problems before 2027?
82% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
76% 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?
16
Any frontier AI company states AI fully managed >$1M training run by '27?
28% chance