필터 결과
5개정렬
51:55ENThe 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.
2:06:09ENOne ChatGPT query is a second in the microwave진행자 Nathan LabenzAndy Masley walks Nathan Labenz through the energy and water math of AI, from a single prompt to an 80-gigawatt buildout.
4:11:06ENThe climate problem is real. The 12-year asteroid story is not.진행자 Lex FridmanBjørn Lomborg and Andrew Revkin tell Lex Fridman why vulnerability, cheaper tons of carbon, and energy innovation matter more than apocalyptic deadlines.
2:54:52ENThe Marvelous Proof Still Lives in the Margin진행자 Lex FridmanLuís and João Batalha, the brothers behind Fermat's Library, talk with Lex Fridman about hidden backstories, a publishing system that buys its own work twice, and how to sit with a paper until it finally clicks.
54:58ENEric 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.







