AI just won gold at the International Math Olympiad 🥇
OpenAI and Google’s models solved 5/6 problems using general-purpose LLMs under real exam rules.
The age of AGI for formal math has begun 👇
Winning gold means scoring 35/42. It’s a level achieved by only a handful of elite high schoolers worldwide.
Both OpenAI and Google’s models hit the mark.
No calculators. No search. Just natural language reasoning.
Google’s Gemini 2.5 used “Deep Think” mode:
- Explored solutions in parallel
- Trained on proof strategies and math corpora
- Used reinforcement learning on multi-step reasoning tasks
Its proofs were so polished, IMO graders called them publishable.
OpenAI’s model wasn’t trained for the IMO.
It used:
- General RL techniques
- No internet or tools
- Natural language proofs
OpenAI had each proof independently graded by 3 former IMO medalists, with unanimous consensus.
The model even knew when it didn’t have a valid answer for P6... showing its skills in reasoning, error-checking, and self-awareness.
We believe AI’s greatest impact may lie in math.
Why? Because math powers everything from DeFi logic to protocol security, and it’s verifiable.
AIs that reason like Fields Medalists will reshape how we build.
In coming years, we expect AI to:
• Perfect high school and college-level math (IMO, Putnam)
• Solve advanced research problems
• Contribute to formalized proofs of foundational theorems
• Scale collaborative, decentralized math
We see a future where math isn’t just automated, it’s democratized, trustless, and composable. 💙
3.22K
72
The content on this page is provided by third parties. Unless otherwise stated, OKX is not the author of the cited article(s) and does not claim any copyright in the materials. The content is provided for informational purposes only and does not represent the views of OKX. It is not intended to be an endorsement of any kind and should not be considered investment advice or a solicitation to buy or sell digital assets. To the extent generative AI is utilized to provide summaries or other information, such AI generated content may be inaccurate or inconsistent. Please read the linked article for more details and information. OKX is not responsible for content hosted on third party sites. Digital asset holdings, including stablecoins and NFTs, involve a high degree of risk and can fluctuate greatly. You should carefully consider whether trading or holding digital assets is suitable for you in light of your financial condition.