Results
4 articlesSort
13:30EN
3Blue1Brown· Aug 17, 2025How AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.
7:17ENErik and Martin Demaine on the Mathematics of Curved-Crease SculptureErik Demaine, Martin Demaine · MITThe MIT father-and-son collaborators turn paper folding into art and research, embedding puzzles and mathematical fonts in their sculpture Solve Me.
11:19EN
Lex FridmanPodcast · 2 speakersWhy Donald Knuth Thinks P = NP and Why It Might Not MatterGuest Donald Knuth · Host Lex FridmanKnuth explains how an algorithm can provably exist without anyone being able to write it down, and why that shapes his view of P versus NP.
11:11ENLex FridmanPodcast · 2 speakersFilling the Empty Quadrants: Jim Gates on Supersymmetry and the Beauty of Broken SymmetryGuest Jim Gates · Host Lex FridmanTheoretical physicist Jim Gates explains supersymmetry with a four-slice pie, recalls how he chose it for his thesis in the 1970s, and connects it to the way physics moves from mathematics to experiment.