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
Explore the future of mathematics and the transformative role of computer-assisted proof development in this 49-minute presidential lecture by Kevin Buzzard from the Simons Foundation. Discover how modern computational tools like Lean are revolutionizing mathematical proof verification and development, challenging traditional approaches to mathematical research and education. Learn about the potential for computers to enhance mathematical rigor, facilitate collaboration, and open new avenues for mathematical discovery. Gain insights into how formal proof assistants are changing the landscape of mathematical practice and what this means for the future of the discipline.
