descriptive claim
The current utility of agentic coding is bottlenecked by code review and verification.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The utility of agentic coding is completely bottlenecked right now on this review and verification phase. Uh, I think that AI itself makes software verification kind of much more powerful because you can use AI to write these specifications themselves.”1:21:57Report a misattribution
0.90how strongly it was put, not whether it is true
0.85importance to the conversation
0.99confidence the claim was read correctly