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:
1,000