Will the IMO grand challenge be completed before the end of 2025?
Will the IMO grand challenge be completed before the end of 2025?
26
1kṀ5239
Dec 31
63%
chance

This resolves YES if the IMO grand challenge is completed before the end of 2025 according to the rules on the site https://imo-grand-challenge.github.io/ according to the IMO Grand Challenge committee. This requires an AI to generate machine-checkable proof of enough problems on one of the IMOs in 2023, 2024 or 2025 for a gold medal (there are more rules on the website).

This resolves NO if this has not happened at the start of 2026. It will also resolve NO if a few weeks after the IMO in 2025 there is nobody claiming that the IMO grand challenge has been solved.

This resolves N/A if the IMO grand challenge is either canceled or abandoned (e.g. there is a serious claim that the challenge is completed and nobody of the committee comments on the submission for multiple months).

Get
Ṁ1,000
to start trading!


Sort by:
predictedNO 1y

Here is a multiple choice market for this question

predictedYES 1y

@FlorisvanDoorn Wait does it have to produce a proof for all problems, or just get a gold metal?

predictedNO 1y

@BoltonBailey I wrote the description wrong, it just has to get enough points for a gold medal. Thanks for asking!

I'm trading on this market because I feel that the resolution criteria are objective enough for that. I can think of scenarios where it is still ambiguous, but I think all of those are very unlikely, and I'm happy to clarify any such ambiguities well in advance.
If someone is uncomfortable with this, please let me know.

1y

@FlorisvanDoorn I have decided that I shouldn't be trading on this market after all, since there is is still a tiny bit of subjectivity in this market. I put up a limit order to sell the remainder of my shares (at the highest percentage that doesn't result in a loss for me - my true belief is way lower), and am not planning to trade anymore after that.

1y

Here is a market for a different year:

What is this?

What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Or create your own play-money betting market on any question you care about.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like betting still use Manifold to get reliable news.
ṀWhy use play money?
Mana (Ṁ) is the play-money currency used to bet on Manifold. It cannot be converted to cash. All users start with Ṁ1,000 for free.
Play money means it's much easier for anyone anywhere in the world to get started and try out forecasting without any risk. It also means there's more freedom to create and bet on any type of question.
© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules