Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
AI Engineerheute硅谷101gesternPragerUvorgesternY CombinatorvorgesternSemiAnalysisvor 3 Tagena16zvor 3 TagenGOTO Conferencesvor 3 TagenLatent Spacevor 4 TagenDwarkesh Patelvor 4 TagenAdrian Twarogvor 5 Tagen

Ergebnisse

1 Artikel
Sortieren
ThemaAI for scienceLängeUnter 15 Min.
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