descriptive claim
Google DeepMind eventually auto-formalized approximately 80 percent of algebra and number-theory questions with near-perfect accuracy.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“DeepMind eventually auto-formalized about eighty percent of questions in those areas nearly perfectly. Combinatorics was harder. Its questions read like stories full of natural language and relatively little notation.”58:10Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.98confidence the claim was read correctly