31 AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media) 22 hours ago datascientist thedataexchange.media