descriptive claim
Neither Google DeepMind's nor OpenAI's 2025 International Math Olympiad answers were verified using Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Google's result was officially graded by the IMO, and OpenAI's was separately evaluated. Neither relied on Lean to verify those competition answers.”1:01:25Report a misattribution
0.90how strongly it was put, not whether it is true
0.85importance to the conversation
0.98confidence the claim was read correctly