descriptive claim
The speaker was surprised that Google used an LLM instead of formal language for its IMO approach this time.
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.94confidence the claim was read correctly