Verification Debt: When Generative AI Speeds Change Faster Than Proof

2 points | by pseudolus 8 hours ago