필터 결과
3개정렬
51:55EN
3Blue1Brown· 2026년 9월 18일The 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· 2025년 12월 31일팟캐스트Some Infinities Are Larger Than Others진행자 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.
54:58ENLex Fridman팟캐스트Eric Weinstein on Geometric Unity: One Canvas, Fourteen Dimensions and a Theory of Everything진행자 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.