flâneur

When AI Writes the World's Software, Who Verifies It? — Leonardo de Moura

leodemoura.github.io · 3,719 words · saved by 3 readers

Leonardo de Moura — Creator of Lean and Z3

When AI Writes the World's Software, Who Verifies It? 2026-02-28 AI Is Rewriting the World's Software Code Metal recently raised $125 million to rewrite defense industry code using AI. Google and Microsoft both report that 25–30% of their new code is AI-generated. AWS used AI to modernize 40 million lines of COBOL for Toyota. Microsoft's CTO predicts that 95% of all code will be AI-generated by 2030 . The rewriting of the world's software is not coming. It is underway. Anthropic recently built a 100,000-line C compiler using parallel AI agents in two weeks, for under $20,000. It boots Linux an

saved by

related reading