Hard to Do, Easy to Check

Isaac Newton milled ridges onto the edge of a coin so a clipped one would show at a glance. That same move, making work hard to do but cheap to check, is why AI has raced ahead in code and math and stalled almost everywhere else. This episode follows the checksum from the Royal Mint to double-entry bookkeeping to Lean, and asks how much of the world we can actually make checkable. Written by Tabrez Syed. Narrated by an AI voice.