AI Rewrites Global Software, Creates Verification Gap

Industry leaders and startups report AI is already generating large shares of software: Google and Microsoft estimate 25–30% of new code is AI-generated, Code Metal raised $125 million to apply AI in defense, and Anthropic built a 100,000-line C compiler in two weeks. Experts warn this rapid scale widens a verification gap — with Microsoft’s CTO predicting 95% AI-generated code by 2030 — and recommend formal, machine-checkable proofs to ensure correctness.