Why AI automated coding before law, design, or strategy, and what the verifiability thesis reveals about where automation goes next for product leaders.