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.
Why it matters
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.
