opinion claim
Jasper Zhang was surprised that Google DeepMind used an LLM rather than formal language for its IMO approach 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
“What surprised me is this time they don't use formal language,”
“but instead they just use LLM.”6:09Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.90confidence the claim was read correctly