Recently updated channels

Pick one to see only that channelBrowse all channels →
20VC with Harry Stebbingsyesterday +173JSJane Streetyesterday +119AI Engineeryesterday +1硅谷1012 days agoMBMatthew Berman3 days ago +111PragerU3 days agoY Combinator3 days agoa16z4 days ago +1SemiAnalysis4 days agoGOTO Conferences4 days ago

Results

1 articles
Sort
TopicAI for scienceLengthUnder 15 minSpeakers2 people
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