Will the best AI score on the IMO 2025 be more like AlphaProof or o3?
29
Ṁ4831Jul 1
More like AlphaProof93%
1D
1W
1M
ALL
For any announcement about performance on the IMO 2025, within 2 months of the IMO 2025.
If the system with the best score is a system that uses both AlphaProof-like AI and o3-like AI, and it is known which fraction of problems were solved by each, I will resolve this market to a fraction relative to each type of system's # of points obtained.
It will be up to my judgement (so I won't take a position), but I will base my positions on known technical details and discussions with people more knowledgeable than me, if the result is ambiguous. May resolve N/A in the worst cases, such as if a company verifiably achieved the best score but doesn't share their method at all.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
Related questions
Related questions
Will a Chinese-made AI beat o3's December score on Frontier Math by the end of 2025?
63% chance
Will an AI model surpasses o3's matharena.ai 88% Overall score by July 1, 2025?
59% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
15% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
45% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
11% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
14% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will AI get at least bronze on the IMO by end of 2025?
81% chance
An AI model published prior to the 2025 IMO achieves gold medal performance
18% chance
Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?
59% chance