Recently updated channels

Pick one to see only that channelBrowse all channels →
20VC with Harry StebbingstodayAI Engineertoday硅谷101yesterdayMBMatthew Berman2 days agoPragerU2 days agoY Combinator2 days agoSemiAnalysis3 days agoa16z3 days agoGOTO Conferences3 days agoThe Builders4 days ago

Results

2 articles
Sort
Channel3Blue1BrownTopicAI research
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
4 slides13:30EN
3Blue1Brown· Aug 17, 2025How AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.MathematicsReasoning & test-time computeAI research+2