“Vlad Tenev predicts that the future of software development will be dominated by formal methods, with AI-generated code written in verifiable languages rather than languages optimized for human readability like Python and Java.”