Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +10Theo - t3․ggyesterday +107AI Engineeryesterday +7a16zyesterday +1Chris Williamsonyesterday +1Conversations with TyleryesterdayThe Builders2 days ago +1Citadel Securities2 days ago +1硅谷1012 days ago +1SemiAnalysis2 days ago +1

Results

1 articles
Sort
TopicAI researchPersonGrant 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