Will an AI which achieves IMO gold medal before 2026 use MCTS during test-time? | Manifold

Will an AI which achieves IMO gold medal before 2026 use MCTS during test-time?

Basic

1

Ṁ40

2026

66%

chance

1D

1W

1M

ALL

This market resolves to YES if an artificial intelligence system achieves a gold medal score (≥29 points) under time-constraints in the International Mathematical Olympiad (IMO) before 2026 uses Monte Carlo Tree Search (MCTS) during test-time, as confirmed by the system's creators in their technical documentation or peer-reviewed publication.

Resolution will be based on official papers, blog posts, or technical documentation from the AI system's developers. If it's not clear whether the AI uses MCTS or not, I will resolve it to the best of my judgement. Criteria for determining whether AI got gold medal are same as this market: https://manifold.markets/jack/will-an-ai-win-a-gold-medal-on-imo

I will not bet on this market.

This question is managed and resolved by Manifold.

#Technical AI Timelines

#IMO Grand Challenge

Get

1,000

and

3.00

Sort by:

Wouldn't be surprising if two orgs achieve gold next year, and do it at roughly the same time, one with MCTS and one without, and which one publishes the result first is mostly a coinflip

@Bayesian Point taken, I modified the question.

Related questions

Will an AI get gold on any International Math Olympiad by the end of 2025?

What company or institution will produce the first AI to get IMO gold?

Will AI win a gold on IMO before it wins a gold on IOI?

Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?

Will an AI win a gold medal on International Math Olympiad (IMO) 2025?

Will the first AI to get IMO gold tree-search the formal proof space?

Will the first AI to get IMO Gold integrate Lean?

What years will AI win IMO bronze (or higher)?

Will the first AI to get IMO gold use formal methods?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

Related questions

Will an AI get gold on any International Math Olympiad by the end of 2025?

Will the first AI to get IMO gold tree-search the formal proof space?

What company or institution will produce the first AI to get IMO gold?

Will the first AI to get IMO Gold integrate Lean?

Will AI win a gold on IMO before it wins a gold on IOI?

What years will AI win IMO bronze (or higher)?

Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?

Will the first AI to get IMO gold use formal methods?

Will an AI win a gold medal on International Math Olympiad (IMO) 2025?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules