DEV Community

Michał Piszczek
Michał Piszczek

Posted on • Originally published at piszczek.pl on

Verification Cost Is the New Bottleneck

"Software engineering will be automatable in 6 to 12 months," says Dario Amodei, CEO of Anthropic. He also expects Nobel-laureate-level AI to arrive by 2026 or 2027. The interesting part of that claim isn't the capability. It's the economics hiding underneath it.

Because what is actually being automated is not engineering judgment. It is transcription cost. For decades, software work has been dominated by syntax translation, framework boilerplate, glue code, and mechanical repetition, and none of that is scarce skill. It is the cost of getting a well-formed intention into a machine-readable form. That cost is what large models annihilate, and it was never the hard part of the job. It only looked like the job because it filled most of the hours.

Once you separate transcription from judgment, the whole "engineers are obsolete" narrative falls apart, and a sharper one takes its place. The constraint did not disappear. It moved. And where it moved is the entire story of what software work becomes.

Two different costs wearing the same job title

Every unit of software work is really two costs stacked together. There is the cost to create, to produce the code, and the cost to verify, to know the code is correct, to reason about what it touches, to own what happens when it runs in production. We bundled them under one title, "writing software," because historically the same person paid both, in sequence, and the creation cost dominated the bill.

AI unbundles them by driving one to near zero. Models generate code faster than any team can read it, validate its behavior, reason about its blast radius, and stand behind its production outcomes. Creation cost collapses. Verification cost does not, because verification is not transcription. It is judgment, context, and accountability, and none of those compress just because generation got cheap.

AI collapses the cost of creation toward zero. It does not collapse the cost of knowing the creation is correct. That asymmetry is the entire shift.

The asymmetry is the whole shift

Hold the two curves side by side. Creation cost falls off a cliff. Verification cost barely moves. That gap is not a temporary inefficiency waiting for a better model. It is structural, because verifying that code is correct requires understanding the system it lives in, the failure modes it can trigger, and the real-world consequences of it being wrong, and a model that generates faster does nothing to shrink that burden. If anything it enlarges it, by producing more code to verify per unit time.

So the bottleneck relocates. It is no longer intelligence, since the model supplies that in abundance. It is verification cost, the human-and-organizational price of trusting an output enough to ship it. This is the same law I keep finding at the load-bearing points of every serious system. Generation is cheap. Accountability is not. And accountability is where the throughput ceiling actually sits.

It is the same asymmetry that strands enterprise deployments when nobody owns validation, which is why execution architecture beats model capability. It is the same asymmetry that freezes regulated domains, which is why the liability stack is why healthcare AI stalls. Engineering is that law applied to code: the model can write it, but someone still has to own it.

Engineers don't disappear. They move up the stack.

If creation is free and verification is the constraint, the job does not vanish. It relocates to where the scarce cost now lives. Engineers move up the stack: from writing code to owning systems, from producing output to being accountable for outcomes. The work that remains is precisely the work AI cannot do, because it is not transcription. Concretely, the center of gravity shifts to:

  1. Specification. Deciding what should be built and why, with enough precision that a fast generator produces the right thing rather than a plausible wrong thing. Ambiguity used to be absorbed during slow implementation. Now it has to be resolved up front.
  2. Verification. Reasoning about correctness, blast radius, and failure modes at a rate that keeps pace with generation. This is the new bottleneck, and the engineers who compound leverage are the ones who verify fastest without lowering the bar.
  3. Accountability. Owning what happens in production, standing behind the decision to ship, and absorbing the consequence when it is wrong. A model cannot be accountable. Accountability is irreducibly human, and it is now the core of the role.

Notice that all three were always the senior parts of the job, the parts that separated a strong engineer from a fast typist. AI did not eliminate engineering. It stripped away the transcription layer that was hiding how much of engineering was already judgment. What is left is the part that was always the point.

What this predicts for teams and hiring

Follow the asymmetry and the second-order effects fall out cleanly. Team shapes change: fewer people needed to produce a given volume of code, but no fewer needed to verify and own it, so the leverage of a senior engineer who can validate at speed goes up, not down. The bottleneck for shipping stops being how fast you can write and becomes how fast you can trust.

Hiring changes too. The scarce, valuable skill is no longer fluent syntax production, which the model now supplies. It is judgment: the ability to specify precisely, verify rigorously, and own outcomes under uncertainty. Screen for the thing that does not commoditize, because the thing that does commoditize just did. And the measure of engineering leverage flips from lines produced to systems owned, which is the same reframing I make in the unit of work is the agent-hour: you stop counting output and start counting supervised, accountable capacity.

Key takeaways

  • Amodei's claim that software engineering is automatable in 6 to 12 months is really about transcription cost, not engineering judgment.
  • Software work bundles two costs: creation and verification. AI drives creation toward zero and leaves verification largely untouched.
  • That asymmetry is structural, not temporary. Verification is judgment, context, and accountability, none of which compress when generation gets cheap.
  • The bottleneck relocates from intelligence to verification cost, the same generation-is-cheap-accountability-is-not law that governs enterprise and regulated AI.
  • Engineers move up the stack to specification, verification, and accountability, the parts of the job that were always senior and are now the whole job.
  • Teams and hiring reprice around judgment: leverage is measured in systems owned, not lines produced.

The comfortable reading of Amodei's timeline is that engineers are being replaced. The accurate reading is that engineers are being promoted, whether they want the promotion or not. The transcription layer is being automated, and what remains is specification, verification, and accountability, the work that was always scarce and is now the entire job. AI collapsed the cost of creating. It did not, and structurally cannot, collapse the cost of being responsible for what was created. That is where the work goes, and that is where the value goes with it. For the broader map of where cheap creation and expensive accountability are redrawing the stack, start with the manifest.

Top comments (0)