Microsoft says verifying AI-generated code is the main challenge
🎧 Listen to this story
Microsoft says it is developing and running AI agents to transform large codebases, including Windows and Azure. The work it cites includes migrating a 400-million-line codebase to a new compiler toolchain and modernizing legacy C and C++ code into Rust, with increasing use of formal verification.
According to the company, generating code is no longer the hardest part: teams must verify that changes preserve behavior, security and architectural intent. Since 2024, Microsoft says it has combined agents with static analysis, testing and formal methods; by May 2025, it says agents had become better planners than its workflows. The company also says human attention has become the scarcest resource in agentic software engineering.
Why it matters · editorial interpretation
For teams using agents on large codebases, productivity gains may depend less on generating changes and more on validating them without losing behavior, security, or architectural intent. This shifts human attention toward reviewing evidence produced by static analysis, testing, and formal methods.
Sources
CodeAgents