opinion claim
A good mathematical library is important even for software verification alone.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Having a good mathematical library is important, even if you only care about software verification. And in my point of view, you have-- it's important to have users.”20:15Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.99confidence the claim was read correctly