絞り込み結果
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.







