descriptive claim
The speaker says trust in formal proof workflows has shifted upstream, toward the choice and formulation of the target being proved.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The trust has basically moved upstream.”1:08:05Report a misattribution
0.85how strongly it was put, not whether it is true
0.78importance to the conversation
0.82confidence the claim was read correctly