causal claim
The speaker thinks AI systems struggle to identify the relevant bound in creative problems, which is why no AI can solve the last IMO problem.
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
“uh that is the minimal bound or like the upper bound it's the lower bound of the upper bound then ai kind of sucks at that and so i think um this is why no ai can solve the last problem but it also is super hard for human as well and like if you look at the first five problems you can basically when you look at a problem you already know how to decompose”14:12Report a misattribution
0.75how strongly it was put, not whether it is true
0.85importance to the conversation
0.82confidence the claim was read correctly