Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
Matthew Bermanaujourd’hui +311AI Engineeraujourd’hui +6Theo - t3․ggaujourd’huiThe Buildersaujourd’hui +1a16zaujourd’hui +2硅谷101aujourd’hui +1SemiAnalysisaujourd’hui +1Chris Williamsonaujourd’huiCheeky Pintaujourd’huiInvest Like The Bestaujourd’hui

Résultats

1 articles
Trier
Chaîne3Blue1BrownThèmeAI for scienceDuré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