Media Summary: How AlphaGeometry combines logic and intuition. Check out Aleph0's channel: Instead of ... OpenAI and Gemini (DeepMind) both gained enough score to win gold medal on the 2025 International Mathematics Olympiad. Tom Yeh, Associate Professor of Computer Science at the University of Colorado Boulder & creator of

The Ai That Solved Imo - Detailed Analysis & Overview

How AlphaGeometry combines logic and intuition. Check out Aleph0's channel: Instead of ... OpenAI and Gemini (DeepMind) both gained enough score to win gold medal on the 2025 International Mathematics Olympiad. Tom Yeh, Associate Professor of Computer Science at the University of Colorado Boulder & creator of Credits and References: Here's a version with brief descriptions for each link: DeepMind blog: Google DeepMind just released a brand new paper showing In just two months, a scrappy three-person team at OpenAI sprinted to fulfill what the entire

OpenAI's latest experimental reasoning model just AlphaProof, an AlphaZero-inspired Reinforcement Learning (RL) agent developed by Google DeepMind, specializes in finding ...

Photo Gallery

The AI that solved IMO Geometry Problems | Guest video by @Aleph0
LLM wins Gold on 2025 Math Competition (IMO)
A CS Professor on Why Slow Learning Wins in the AI Era | CU Boulder, Tom Yeh
The Hardest Mathematics Problem Ever Asked on the IMO
Chinese IMO team
AI just solved one of the hardest math problems... (INTELLIGENCE EXPLOSION)
Solving the Legendary IMO Problem 6 in 8 minutes | International Mathematical Olympiad 1988
They solved AI’s memory problem!
How Google DeepMind’s AI Won Silver at the Math Olympiad
Google Just SOLVED MATH?!
OpenAI’s IMO Team on Why Models Are Finally Solving Elite-Level Math
“AI won the gold medal at the 2025 IMO! How did the OpenAI model solve 5 out of 6 problems?”
Sponsored
Sponsored
View Detailed Profile
The AI that solved IMO Geometry Problems | Guest video by @Aleph0

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

How AlphaGeometry combines logic and intuition. Check out Aleph0's channel: https://youtube.com/@Aleph0 Instead of ...

LLM wins Gold on 2025 Math Competition (IMO)

LLM wins Gold on 2025 Math Competition (IMO)

OpenAI and Gemini (DeepMind) both gained enough score to win gold medal on the 2025 International Mathematics Olympiad.

Sponsored
A CS Professor on Why Slow Learning Wins in the AI Era | CU Boulder, Tom Yeh

A CS Professor on Why Slow Learning Wins in the AI Era | CU Boulder, Tom Yeh

Tom Yeh, Associate Professor of Computer Science at the University of Colorado Boulder & creator of

The Hardest Mathematics Problem Ever Asked on the IMO

The Hardest Mathematics Problem Ever Asked on the IMO

I'm back, by popular demand,

Chinese IMO team

Chinese IMO team

Chinese IMO team

Sponsored
AI just solved one of the hardest math problems... (INTELLIGENCE EXPLOSION)

AI just solved one of the hardest math problems... (INTELLIGENCE EXPLOSION)

Start fine-tuning with HPC-

Solving the Legendary IMO Problem 6 in 8 minutes | International Mathematical Olympiad 1988

Solving the Legendary IMO Problem 6 in 8 minutes | International Mathematical Olympiad 1988

IMO

They solved AI’s memory problem!

They solved AI’s memory problem!

Attention Residuals by Kimi

How Google DeepMind’s AI Won Silver at the Math Olympiad

How Google DeepMind’s AI Won Silver at the Math Olympiad

Credits and References: Here's a version with brief descriptions for each link: • DeepMind blog:

Google Just SOLVED MATH?!

Google Just SOLVED MATH?!

Google DeepMind just released a brand new paper showing

OpenAI’s IMO Team on Why Models Are Finally Solving Elite-Level Math

OpenAI’s IMO Team on Why Models Are Finally Solving Elite-Level Math

In just two months, a scrappy three-person team at OpenAI sprinted to fulfill what the entire

“AI won the gold medal at the 2025 IMO! How did the OpenAI model solve 5 out of 6 problems?”

“AI won the gold medal at the 2025 IMO! How did the OpenAI model solve 5 out of 6 problems?”

OpenAI's latest experimental reasoning model just

AlphaProof: DeepMind AI Achieves IMO Silver Medal in Formal Math Reasoning

AlphaProof: DeepMind AI Achieves IMO Silver Medal in Formal Math Reasoning

AlphaProof, an AlphaZero-inspired Reinforcement Learning (RL) agent developed by Google DeepMind, specializes in finding ...