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.
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.
11:34ENLex FridmanPodcastNeither Discovered Nor Invented: Grant Sanderson on the Cycle Between Math and the WorldHost Lex Fridman3Blue1Brown's Grant Sanderson tells Lex Fridman that mathematics feeds on a loop of discovery and invention, and wonders why the universe's laws are so compressible.