opinion claim
Jasper Zhang thought the proof was correct, but considered the result less official.
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 think I read the proof that it's still correct,”
“but it's just like less official.”3:49Report a misattribution
0.80how strongly it was put, not whether it is true
0.60importance to the conversation
0.90confidence the claim was read correctly