prediction claim
Jasper Zhang expected that an AI model could win an IMO gold medal that year.
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
“Yeah, so I have a feeling that this year there is like an AI model can win the IMO gold medal, because last year by using like formal verification,”4:39Report a misattribution
0.70how strongly it was put, not whether it is true
0.80importance to the conversation
0.95confidence the claim was read correctly