For any announcement about performance on the IMO 2025, within 2 months of the IMO 2025.

If the system with the best score is a system that uses both AlphaProof-like AI and o3-like AI, and it is known which fraction of problems were solved by each, I will resolve this market to a fraction relative to each type of system's # of points obtained.

It will be up to my judgement (so I won't take a position), but I will base my positions on known technical details and discussions with people more knowledgeable than me, if the result is ambiguous. May resolve N/A in the worst cases, such as if a company verifiably achieved the best score but doesn't share their method at all.

• Update 2025-07-19 (PST) (AI summary of creator comment): In the event of a tie, the market will be resolved 50/50.

• Update 2025-07-21 (PST) (AI summary of creator comment): The creator has taken a position in this market. If the resolution is ambiguous, the decision will be delegated to uninvolved moderators.