Chris Hsu on How One Programming Language Rewrote Mathematics and Why Software Is Next

Chris Hsu explores how Lean transformed mathematics through machine-checked proofs—and why formal verification could become essential as AI generates more of the world's software.