Results
4 articlesSort
51:55EN
3Blue1Brown· Sep 18, 2026The last IMO problem AI could not solveGrant Sanderson · 3Blue1BrownGrant Sanderson walks through IMO 2025 Problem 6 — a tiling puzzle that frontier models missed — and the visual patience it takes to prove a construction is optimal.
3:52:17EN
Lex Fridman· Dec 31, 2025PodcastSome Infinities Are Larger Than OthersHost Lex FridmanJoel David Hamkins walks Lex Fridman from Hilbert's Hotel through Gödel, the continuum hypothesis, and a set-theoretic multiverse where truth is not the same as proof.
56:12ENEchoes of Fourier: From Sound Waves to Fast ConvolutionChristopher HardinA practical introduction to Fourier transforms, convolution, and the mathematics of placing a recording in real or imagined acoustic spaces.
54:58ENLex FridmanPodcastEric Weinstein on Geometric Unity: One Canvas, Fourteen Dimensions and a Theory of EverythingHost Lex FridmanEric Weinstein talks with Lex Fridman about releasing his Oxford lecture, why academia resists his ideas, and how Geometric Unity tries to derive matter from the geometry of spacetime.