Results
9 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.
8:35ENAI News: Vibe Jam, Mistral Small 3.1 and New Audio ModelsMatthew Berman · Forward FutureMatthew Berman surveys March 2025 releases, from AI-assisted games and local models to search, audio and creative tools.
12:42EN
Lex Fridman· Mar 28, 2020Podcast · 2 speakersThe Experience Machine: What Our Refusal to Plug In Says About What We ValueGuest Nick Bostrom · Host Lex FridmanNick Bostrom unpacks Robert Nozick's experience machine, the status quo effect behind our answers, and whether a simulation convincing enough to feel real would have to contain real minds.
11:11ENLex FridmanPodcast · 2 speakersYann LeCun on Benchmarks, Interactive Environments, and Why Human Intelligence Is Not GeneralGuest Yann Lecun · Host Lex FridmanIn a 2019 clip, LeCun defends benchmarks as a test of AI claims, explains why interactive environments break the usual train-test protocol, and argues that "general intelligence" is a misnomer.
14:41ENLex FridmanPodcast · 2 speakersTalking for 20 Minutes: How the Alexa Prize Turns Real Customers into a Testbed for Conversational AIGuest Rohit Prasad · Host Lex FridmanRohit Prasad, head scientist of Amazon Alexa, explains the Alexa Prize grand challenge, how it is judged and why true conversation still needs reasoning.
11:41ENLex FridmanPodcast · 2 speakersTeaching Machines Humility: Stuart Russell on Escaping the King Midas ProblemGuest Stuart Russell · Host Lex FridmanIn a short clip from a 2018 conversation, Berkeley's Stuart Russell explains why fixed objectives make superintelligent AI dangerous and why uncertainty about our goals is the fix.
10:16ENLex FridmanPodcast · 2 speakersReasoning Without Logic: Yann LeCun on Teaching Neural Networks to ThinkGuest Yann Lecun · Host Lex FridmanYann LeCun explains why he believes neural networks can reason, and what memory, recurrence and continuous representations would need to look like.
10:34ENLex FridmanPodcast · 2 speakersWhy Deep Learning Needs Rules: Chollet on Interpolation, Abstraction and Hybrid AIGuest François Chollet · Host Lex FridmanFrançois Chollet explains why neural networks only interpolate between points they have seen, and why the best AI systems pair them with symbolic rules.
11:23ENLex FridmanPodcast · 2 speakersScience Is a Self-Improving System That Isn't Exploding: Chollet on the Limits of an Intelligence ExplosionGuest François Chollet · Host Lex FridmanFrançois Chollet uses the history of science to argue that recursive self-improvement meets exponential friction and yields linear, not explosive, progress.