International Mathematical Olympiad
also referred to as: imo
3 statements across 1 episodes · 3 bullish · 0 bearish · 3 people on the record · first statement Nov 14, 2024 by Rishi Mehta · said 14 times in 4 episodes since 2024 · across every show →
Mentions by year
brought up most by Rishi Mehta (5), Elad Gil (4), Sarah Guo (2), Thomas Hubert (1), Jared Quincy Davis (1), Eric Zelikman (1)
tap a year for its mentions
2025 5 mentions in 2 episodes 3 per episode
2024 9 mentions in 2 episodes 5 per episode
Everything said about International Mathematical Olympiad, oldest first
Nov 14, 2024 positive
Mehta: AlphaProof Is Strongest in IMO Algebra and Number Theory
“So the IMO problems have come in four categories. So there's algebra number theory, combinatrix, and geometry. The two that it's strongest at are algebra and number theory. It's relatively weaker at combinatrix, although it can do quite good at some IMO combin…”
Nov 14, 2024 positive
Nov 14, 2024 positive
DeepMind's Hubert: Solving Harder Math Requires Introducing New Mathematical Objects
“To prove harder problems, you start to need to be able to introduce these new kind of mathematical objects to decompose the problems or problems. And we see that already happening for the IMO at a, you know, small scale.”