Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI ~ In this Presidential Lecture, Leonardo de Moura will provide an overview of Lean’s impact. He’ll show how Lean provides mathematicians a new way to construct and verify complex proofs, enables software developers to rigorously verify critical systems, and creates a foundation for more reliable AI for science and mathematics. Through real-world examples from academia and industry, he’ll present how Lean is paving the way for a more efficient, reliable and collaborative future. For more information, please visit: https://www.simonsfoundation.org/even...
▶︎
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
▶︎
"First Proof: Mathematicians Putting AI to the Test" March 14, 2026
▶︎
Martin Hairer: Do Mathematicians Need Computers?
▶︎
Quaternions - Freya Holmer | NGJ2025
▶︎
Harold Williams (USC): An Introduction to Automated Theorem Proving in Lean
▶︎
Building the PERFECT Linux PC with Linus Torvalds
▶︎
When Computers Write Proofs, What's the Point of Mathematicians?
▶︎
'Listen Like You Might Be Wrong': Harvard Student Goes Viral For Stunning Speech On Trump Amid Feud
▶︎
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman
▶︎
Terry Tao "How to think like a mathematician" presented by the UCLA Curtis Center
▶︎
The Hardest Questions in Physics | World Science Festival
▶︎
Terence Tao – How the world’s top mathematician uses AI
▶︎
The Most Misunderstood Concept in Math
▶︎
Why This Is the Most Exciting Time to Be Human | Ken Ono, Axiom Math
▶︎
How to learn Lean programming language | Terence Tao and Lex Fridman
▶︎
Will AI Prove the Riemann Hypothesis Without Understanding It? – Terence Tao
▶︎
Train Your Brain to Never Forget (5 Feynman Habits)
▶︎
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
▶︎
Lean 4 formalization of 1964 International Mathemetical Olympiad Problem 1b
▶︎