Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
AI Engineeraujourd’hui硅谷101hierPragerUavant-hierY Combinatoravant-hierSemiAnalysisil y a 3 joursa16zil y a 3 joursGOTO Conferencesil y a 3 joursLatent Spaceil y a 4 joursDwarkesh Patelil y a 4 joursAdrian Twarogil y a 5 jours

Résultats

3 articles
Trier
ThèmeReasoning & test-time computeDuréeMoins de 15 min
4 diapositives13:30EN
3Blue1Brown· 17 août 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
10:16EN
Lex FridmanPodcast · 2 voixReasoning Without Logic: Yann LeCun on Teaching Neural Networks to ThinkInvité : Yann Lecun · Anime : Lex FridmanYann LeCun explains why he believes neural networks can reason, and what memory, recurrence and continuous representations would need to look like.Modèles et entraînementFondamentaux du MLDeep Learning+3
10:34EN
Lex FridmanPodcast · 2 voixWhy Deep Learning Needs Rules: Chollet on Interpolation, Abstraction and Hybrid AIInvité : François Chollet · Anime : Lex FridmanFrançois Chollet explains why neural networks only interpolate between points they have seen, and why the best AI systems pair them with symbolic rules.Modèles et entraînementFondamentaux du MLDeep Learning+2