Formal verification spent forty years as the most trustworthy technique nobody could afford. AI-assisted formalization is collapsing its cost curve, and with it, any excuse...