Which AI company first solves FrontierMath 85%?
Plus
31
Ṁ32112026
38%
OpenAI
9%
Anthropic
4%
Meta
4%
xAI
37%
Google
9%
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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Has AI surpassed technical but non-mathematician humans at math?
35% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
80% chance
Will AI solve one of 129 major mathematical conjectures before year X?
Which company has best Math AI model end of 2025? (Chatbot Arena Leaderboard)
Will an AI score over 80% on FrontierMath Benchmark in 2025
2% chance
Will any AI model score >80% on Epoch's Frontier Math Benchmark in 2025?
3% chance
Will a Chinese-made AI beat o3's December score on Frontier Math by the end of 2025?
15% chance
Which company has best Computer Agent AI model end of 2025? (Computer Agent Arena Leaderboard)
Which company has best Search AI model end of 2025? (Search Arena Leaderboard)
Which Millennium Prize problem will be solved in the year 2025 with the help of AI?