prediction claim
Formal verification of software programs will play an increasingly important role in AI-powered software development.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“They don't have to be written by hand. But it's, uh, I think kind of formal verification of software programs will, like, increasingly have a role to play in the new AI-powered software development life cycle.”1:22:12Report a misattribution
0.70how strongly it was put, not whether it is true
0.80importance to the conversation
0.98confidence the claim was read correctly