opinion claim
Translating a 100-page mathematical proof into a formal language could require work comparable to a PhD thesis.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“looks like in a formal language." And then the proof is one hundred pages long. Uh, and, and translating the proof into this language would be a, you know, would, would be like a PhD thesis worth of work, you know, a gigantic problem.”41:31Report a misattribution
0.80how strongly it was put, not whether it is true
0.65importance to the conversation
0.95confidence the claim was read correctly