Ergebnisse
4 ArtikelSortieren
13:30EN
3Blue1Brown· 17. Aug. 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 StimmenWhy Donald Knuth Thinks P = NP and Why It Might Not MatterGast: Donald Knuth · Moderation: 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 StimmenFilling the Empty Quadrants: Jim Gates on Supersymmetry and the Beauty of Broken SymmetryGast: Jim Gates · Moderation: 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 WorldModeration: 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.