descriptive claim
In the previous year, Google DeepMind had won an IMO silver medal using formal verification and formal language.
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,”
“formal language,”
“Google DeepMind can already won a silver medal.”4:39Report a misattribution
0.95how strongly it was put, not whether it is true
0.70importance to the conversation
0.90confidence the claim was read correctly