Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
AI Engineerheute20VC with Harry Stebbingsheute硅谷101gesternPragerUvorgesternMBMatthew BermanvorgesternY CombinatorvorgesternSemiAnalysisvor 3 Tagena16zvor 3 TagenGOTO Conferencesvor 3 TagenThe Buildersvor 4 Tagen

Ergebnisse

1 Artikel
Sortieren
ThemaReasoning & test-time computePersonAleph0
4 Folien13:30EN
3Blue1Brown· 17. Aug. 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