4 sources healthy · latest episode 9 Nov 2026
opinion claim

End-to-end solutions from first principles can still feel unsatisfying because people incur an understanding debt when they cannot mentally grasp the entire proof at once.

Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026

In their words

The transcript segments this claim was taken from

“And the fact that he decided to do the next project using Lean was a big deal on Lean.”
6:36Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.94confidence the claim was read correctly
End-to-end solutions from first principles can still feel unsatisfying because … · Savlar