I swear I hadn't seen this post when I wrote my one-sentence rant. https://blog.janestreet.com/formal-methods-at-jane-street-index/
@mflider
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.