X Discussion: Vercel CEO Guillermo Rauch Says AI Will Rewrite All Human-Made Software, Sparking Debate on Formal Verification and Rewrite Risk
On November 5 Guillermo Rauch posted on X that most human-made software was slow, insecure and under-specified, and that AI will rewrite it all, many times, then formally verify, load test and harden it: "the true birth of software engineering." The post drew 3,000+ likes, 270+ reposts and nearly 100K views. Supporters cite from-scratch AI rewrites; critics warn that missing specs and human review still matter. This is a personal opinion, not a Vercel announcement.
Key Takeaways
- Rauch's post (Nov 5, 02:22 UTC) had about 3,060 likes, 272 reposts, 681 bookmarks and ~99K views when fetched
- Core claim: AI will rewrite human software "many times", formally verifying, load testing and hardening it, and replacing memory-unsafe foundations
- An hour earlier he shared Vercel Security Review figures: 6,817 vulnerabilities found in 24 hours, 580 critical/high, 1,411 already patched by Agent (vendor-reported)
- Pushback: rewriting under-specified code can just ship the same wrong behavior faster, and formal verification moves bugs up an abstraction level rather than eliminating them
- This is an opinion thread, not an established fact or official roadmap


