descriptive claim
In July 2025, Google DeepMind and OpenAI reported gold-medal-level International Math Olympiad scores using proofs written in natural language.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“In July 2025, Google DeepMind and OpenAI reported gold-level scores on the International Mathematical Olympiad using natural language proofs.”1:01:14Report a misattribution
0.90how strongly it was put, not whether it is true
0.90importance to the conversation
0.98confidence the claim was read correctly