Verification Cost Is the New Bottleneck

Originally published at piszczek.pl. "Software engineering will be automatable in 6 to 12 months," says Dario Amodei, CEO of Anthropic. The interesting part of that claim isn't the capability. It's th