Views
5 600
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024
NATIONAL MUSEUM OF MATHEMATICS
· OCT 08, 2025
This YouTube video has 5 600 views and was published Oct 8, 2025 on National Museum of Mathematics. That is 2.1x the channel's average views.
Likes
—
Comments
—
Like rate
—
▸ Vs channel average
+114%
This video is at 2.1x the channel's average views.
LAST 13 UPLOADS · ■ THIS VIDEO
National Museum of Mathematics
More from this channel
When AI Solves Major Open Problems: What Does It Mean for the Future of Mathematics—and Beyond?
Math Encounters "From Hilbert to DNA:Space-filling curves on aperiodic tilings" Erez Lieberman Aiden
Math Encounters: "Math in Your Hands: How 3D Printing Brings Abstract Ideas to Life" Mario Micheli
Math Encounters:"Seeing Is Deceiving: The Geometry of Visual Illusion" Annalisa Crannell July 8,2026