I've written more property-based tests in the last six months than in the three years before that. I can just ask Claude to write them. That's one of the most straightforward examples of AI making software better rather than just faster. We all write a lot of tests that we were too lazy to create before.