Will AI get at least bronze on the IMO by 2025?
BoltonBailey avatar
Bolton Bailey
19
closes 2026
70%
chance

This market resolves based off the outcomes of two other markets:

If either of these resolve YES, this resolves YES. If both resolve NO, this resolves NO. If either of the linked markets resolves to something other than YES or NO, I will use my best judgement.

Apr 29, 9:01pm: Will AI get at least Bronze on the IMO by 2025? → Will AI get at least bronze on the IMO by 2025?

IMO Grand Challenge
Sort by:
RjieRieisi avatar
Rjie Rieisi
RjieRieisi avatar
Rjie Rieisi

@RjieRieisi

Related markets

BoltonBailey avatarBolton Bailey
Conditional on AI getting at least bronze on the IMO, will it get gold by 2025?52%
BoltonBailey avatarBolton Bailey
Will AI first get IMO gold in 2026 or 2027?25%
Forrest avatarForrest
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?48%
Austin avatarAustin
Will an AI get gold on any International Math Olympiad by 2025?37%
jack avatarJack
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?33%
vluzko avatarVincent Luczkow
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?40%
jack avatarJack
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?77%
jack avatarJack
Will an AI win a gold medal on the IOI (competitive programming contest) before 2024?11%
Gigacasting avatarGigacasting
Will an AI win a Gold Medal on the International Math Olympiad by 2029?73%
jack avatarJack
Will an AI win a gold medal on the IOI (competitive programming contest) before 2027?66%
Gigacasting avatarGigacasting
Will an AI win a Gold Medal on the International Math Olympiad by 2032?77%
Gigacasting avatarGigacasting
Will an AI win a Gold Medal on the International Math Olympiad by 2027?54%
BoltonBailey avatarBolton Bailey
Will an AI get gold on any International Math Olympiad by 2024?10%
BoltonBailey avatarBolton Bailey
Will an AI get gold on any International Math Olympiad by 2026?40%
vluzko avatarVincent Luczkow
Will any AI solve >=50 IMO problems by the start of 2024?45%
BoltonBailey avatarBolton Bailey
Will an AI get gold on any International Math Olympiad by 2028?61%
vluzko avatarVincent Luczkow
Will any AI solve >=100 IMO problems by the start of 2024?19%
IsaacKing avatarIsaac
Will AI pass the Winograd schema challenge by the end of 2025?87%
Gigacasting avatarGigacasting
AI Surgery by 2025?10%
vluzko avatarVincent Luczkow
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?63%