When AI Writes the World’s Software, Who Verifies It?

As AI generates 25-30% of code at major companies and that share is projected to reach 95% by 2030, formal verification becomes critical. The author, creator of Lean and Z3, argues that testing provides confidence while proof provides guarantees — and that AI is making proof economically viable at scale. A demonstration Show more