Recently updated channels

Pick one to see only that channelBrowse all channels →
20VC with Harry Stebbingsyesterday +53AI Engineeryesterday +1硅谷1012 days agoMBMatthew Berman3 days ago +57PragerU3 days agoY Combinator3 days agoa16z4 days ago +1SemiAnalysis4 days agoGOTO Conferences4 days agoThe Builders5 days ago

Results

1 articles
Sort
PersonGrant SandersonSpeakersSolo
29 slides51:55EN
3Blue1Brown· Sep 18, 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.MathematicsAI researchReasoning & test-time compute+2