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 it's 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. š
2.79K
64
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.