Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +364AI Engineertoday +6Theo - t3․ggtodayThe Builderstoday +1a16ztoday +2硅谷101today +1SemiAnalysistoday +1Chris WilliamsontodayCheeky PinttodayInvest Like The Besttoday

Results

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