Recently updated channels

Pick one to see only that channelBrowse all channels →
AI Engineertoday硅谷101yesterdayPragerU2 days agoY Combinator2 days agoSemiAnalysis3 days agoa16z3 days agoGOTO Conferences3 days agoLatent Space4 days agoDwarkesh Patel4 days agoAdrian Twarog5 days ago

Results

1 articles
Sort
Content typeExplainersTopicModels & training
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