Agentic coding moves the bottleneck from writing code to verifying it, changing the cost/benefit of formal methods enough that a shop long skeptical of them is now staffing a team.
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
