What Happens to Software When Proof is Cheap?

What Happens to Software When Proof is Cheap? explores how AI could drastically reduce formal verification costs, enabling trustworthy software and AI-generated systems while shifting the main challenges toward specifications, proof infrastructure, maintainability, and education.