What will happen at IMO 2025?
130
2.6kṀ70k
resolved Jul 23
Resolved
YES
USA second place
Resolved
YES
USA exactly 5 golds
Resolved
YES
AI beats someone on Team USA (AI has 4.5 hour per day time limit)
Resolved
YES
Singapore top 10
Resolved
YES
Israel top 10
Resolved
YES
Someone gets 42
Resolved
YES
China first place
Resolved
YES
Alexander Wang top 10
Resolved
YES
Problem 2 or 5 is geo
Resolved
YES
Japan gets Top 5
Resolved
YES
India top 10
Resolved
YES
There are at least 4 perfect scores
Resolved
YES
at least five Manifold users get medals
Resolved
NO
USA first place
Resolved
NO
USA 6 golds
Resolved
NO
UK top 10
Resolved
NO
Canada top 10
Resolved
NO
Any contestant is disqualified
Resolved
NO
Hannah Fox top 10
Resolved
NO
Alexander Wang first on team USA (tied for first counts)

  • Update 2025-05-10 (PST) (AI summary of creator comment): The creator has specified that if The AI (or any AI) is a factor in the resolution of this market, its performance and related announcements will be judged according to the following constraints, drawn from a related market on AI performance at IMO 2025:

    • Definition of an AI "solving" a problem:

    • The AI must produce a solution that is deemed correct and complete by IMO standards, typically meaning it would score full points (e.g., 7 points).

    • The solution must be generated by the AI autonomously. This means without human assistance in the core problem-solving process after the problem statement is provided to the AI.

      • Human involvement is acceptable for: setting up the AI, providing the problem statement, or interpreting the AI's raw output into a human-readable format, as long as the core reasoning and solution steps originate from the AI.

    • Criteria for a "public announcement" (if the market outcome depends on such an announcement):

    • Must be made through an official channel of the AI lab (e.g., company blog, press release, research paper on arXiv, official social media account).

    • Must explicitly state that an AI developed by the lab solved at least one problem from IMO 2025.

    • Must occur on or before IMO 2025

    • Definition of an "AI lab" (if the market outcome depends on identifying distinct labs):

    • This can include academic research groups, corporate AI labs, independent research collectives, or a well-documented individual effort operating under a distinct name or identity.

The market creator will be the final arbiter of any ambiguities, aiming for the spirit of the question and prioritizing clear, verifiable public claims. These clarifications are based on the details provided at: https://manifold.markets/Bayesian/ai-imo-2025-how-many-ai-labs-announ

  • Update 2025-05-13 (PST) (AI summary of creator comment): - Top 10 includes ties.

  • Update 2025-05-19 (PST) (AI summary of creator comment): - The market may resolve based on the outcome that >50% of contestants receive a medal.

  • Update 2025-06-29 (PST) (AI summary of creator comment): - Regarding a potential outcome of a protest against Israeli participation, the creator is considering what scale of protest is required and whether it needs to be reported by the media to count.

  • Update 2025-07-16 (PST) (AI summary of creator comment): - Regarding a potential protest against Israeli participation, resolution will be determined by the judgment of @YotamBudnik and @RazDvora.

  • Update 2025-07-18 (PST) (AI summary of creator comment): The creator has stated they will resolve the market after receiving confirmation on outcomes related to:

    • AI performance

    • Any disqualifications

    • The potential protest against Israeli participation

Get
Ṁ1,000
to start trading!

🏅 Top traders

#NameTotal profit
1Ṁ5,339
2Ṁ1,214
3Ṁ777
4Ṁ415
5Ṁ306
Sort by:

Planning to resolve soon. Any objections?

@ms I believe all of the following got medals:

@RazDvora @YotamBudnik @cyclic @DottedCalculator @hannah

@vincentWang Yeah 4 golds and one silver from them. Also @lliu secured a gold for HK. There are doubtlessly others.

@vincentWang this is awesome!

I hope everyone keeps reading on Manifold for fun instead of wasting lives at boring trading firms!

Seems there’s no evidence of protesting and disqualifications. AI thing should resolve yes too I guess. Will resolve it all soon.

@nathanwei I’d wait re AI thing

@ms I think deepmind got gold as well and it was verified by imo

bought Ṁ1,000 NO

fuck ai

@nathanwei resolve

@xristofski I will close and resolve everything once we have confirmation of the AI stuff, the disuqliafication stuff, and the Israel protest stuff.

@RazDvora and @YotamBudnik did you guys get protested?

@nathanwei why can't you just close everything else?

@AmoghAkella I don’t think you can do that on this kinda question. The whole question gets closed not the individual options.

@nathanwei I think you can resolve individual options because the options are mostly independent of each other for market purposes

@vincentWang as this is a set market not multiple choice

@nathanwei No, only the individual options get closed. This is not a multiple choice, as vincent stated, and is a set market meaning that one does not affect the probability of another and therefore you would be able to resolve them individually.

bought Ṁ155 NO

dos uno

@nathanwei resolves yes

@vincentWangqpsl I'll just resolve everything once the IMO results are out and there is time for the AI stuff.

Surely 3 people on 35/42 is enough for top 10? Unless I'm missing something?

@danielcreatd no. imo is world wide so there are clearly 10 people to get more than 5/6 questions if it is easy

@121 No I mean in terms of countries

what country

@121 UK

bought Ṁ30 NO
© Manifold Markets, Inc.TermsPrivacy