Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
