Which AI company first solves FrontierMath 85%?
31
1.5kṀ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,000 to start trading!
1,000People are also trading
Related questions
Will any AI model achieve > 40% on Frontier Math before 2026?
50% chance
Which company has best Math AI model end of 2025? (Chatbot Arena Leaderboard)
Will AI solve one of 129 major mathematical conjectures before year X?
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
55% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
80% chance
Will a Chinese-made AI beat o3's December score on Frontier Math by the end of 2025?
14% chance
Will an AI score over 80% on FrontierMath Benchmark in 2025
2% 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?