An AI model published prior to the 2025 IMO achieves gold medal performance
5
100Ṁ96
Sep 2
44%
chance

This market resolves YES if an AI model that was published (made publicly available or described in detail in a public paper) before the start of the 2025 International Mathematical Olympiad (IMO) achieves a score that would qualify for a gold medal at the 2025 IMO.

To qualify for a gold medal at the IMO, a contestant typically needs to score in approximately the top 1/12 of all participants. In recent years, this has corresponded to solving 4-5 out of 6 problems correctly.

The AI must solve the actual 2025 IMO problems within the standard time constraints (4.5 hours per day over 2 days) or demonstrate equivalent performance on these problems after they are released.

Resolution will be based on official announcements from the AI's developers, verification from reputable sources, and/or relevant academic papers.

Some claim of the feat must be made by September 1st. The market will extend if the claim is made but independent verification is in flight.

Sources:

Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules