I thought humanity is safe just 2 days ago, it’s literally counting in days… Some context: This isn’t the first time AI has medaled at the International Math Olympiad (IMO). Last year, Google’s AlphaProof won silver—but that model was trained specifically for math. This time, OpenAI used a general-purpose model (likely an internal GPT-5 prototype?), and it won gold. That’s a huge leap in significance. To put this in perspective: solving an IMO-level problem typically takes elite human competitors about 100 minutes. Just 2 years ago, top AI models were still struggling with grade-school word problems (GSM8k), which take humans about 10 seconds to solve. As OpenAI’s Dan Roberts shared at Sequoia’s AI Ascent 2025, the length of tasks AI can handle is doubling every 7 months. By late 2025, GPT-5 may very well be operating at hour-long human task levels. One caveat: This year’s IMO reportedly had a flaw in difficulty balance—problems 1–5 were relatively easy, while problem 6 was unusually hard. As a result, many scores clustered between 28–35 (each problem is worth 7 points). The AI scored a 35—just enough for gold. A bit of luck, but the trajectory is undeniable. Last not least, the math competitions will undoubtedly be a race between Chinese in China, Chinese in U.S., and AI models (built by Chinese in the U.S. and China)