descriptive claim
The speaker was surprised that OpenAI and Google DeepMind solved the IMO problem without using Lean.
Unresolved speaker · ⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances · 24 Jul 2025
In their words
The transcript segments this claim was taken from
“I was super surprised when I saw OpenAI and Google DeepMind didn't even use Lean and can solve that.”25:24Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.90confidence the claim was read correctly