Resolution criteria

This market will resolve to "Yes" if, by the end of the International Mathematical Olympiad (IMO) 2025, Google DeepMind publicly announces that its AI system has successfully solved Problem 6 (P6) of the competition. Official confirmation from DeepMind or reputable news sources will serve as the basis for resolution.

Background

Problem 6 (P6) at the IMO is traditionally the most challenging problem, often requiring deep insight and advanced problem-solving skills. In previous years, DeepMind's AI systems have demonstrated significant progress in solving IMO problems. For instance, in 2024, their AI achieved a silver medal standard by solving four out of six problems, including the most difficult one, which only five human competitors managed to solve. (ithome.com)

Considerations

While DeepMind's AI has shown remarkable capabilities, solving P6 remains a formidable challenge. The outcome will depend on the AI's continued advancements and its ability to tackle the complexities inherent in IMO's most demanding problems.

• Update 2025-07-20 (PST) (AI summary of creator comment): The creator has clarified that the market will resolve based on whether DeepMind's AI successfully solved P6, regardless of when the public announcement is made.

• Update 2025-07-21 (PST) (AI summary of creator comment): The market will resolve based on whether DeepMind's AI successfully solved P6, regardless of when the public announcement is made.

• Update 2025-07-21 (PST) (AI summary of creator comment): The resolution will consider if any of Google DeepMind's AI models solved P6, not just a single model like Gemini.