What happened
IMO coordinators graded an advanced Gemini Deep Think system at 35 of 42 on the 2025 International Mathematical Olympiad paper: five of six problems under contest-style 4.5-hour sessions and natural-language proofs. The result is a capability demonstration, not an official contest medal and not a contribution of new theorems. OpenAI independently reported the same score from a separate experimental model; that is a different event. Human gold medalists still exist above and at this score. This does not count toward Net Good.
