descriptive claim
Google DeepMind won an IMO silver medal the previous year 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.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.90confidence the claim was read correctly