Agents have collapsed the cost of building native apps twice. But I think they will also make formal verification the default way software gets written.