Resultados
3 artículosOrdenar
51:55EN
3Blue1Brown· 18 sept 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· 31 dic 2025PódcastSome Infinities Are Larger Than OthersPresenta: 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 FridmanPódcastEric Weinstein on Geometric Unity: One Canvas, Fourteen Dimensions and a Theory of EverythingPresenta: 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.