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