My hottest AI take has nothing to do with AI, and it's: we have needed formal verification of software, proof-carrying code, and correct-by-construction programs for at least 30 years, and now the widespread use of AI is going to force us to get serious about it.