Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
In this 54-minute Presidential Lecture from the Simons Foundation, explore how the Lean Project is revolutionizing mathematics, programming, and artificial intelligence. Join Leonardo de Moura as he demonstrates Lean's transformative impact across multiple domains - from providing mathematicians with new methods to construct and verify complex proofs, to enabling software developers to rigorously verify critical systems, to creating foundations for more reliable AI in scientific and mathematical applications. Through practical examples from both academia and industry, discover how this verification system is building a path toward a more efficient, reliable, and collaborative future across disciplines.
