Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
20VC with Harry Stebbingsayer +89AI Engineerayer +1硅谷101anteayerMBMatthew Bermanhace 3 días +65PragerUhace 3 díasY Combinatorhace 3 díasa16zhace 4 días +1SemiAnalysishace 4 díasGOTO Conferenceshace 4 díasThe Buildershace 5 días

Resultados

1 artículos
Ordenar
TemaReasoning & test-time computePersonaAleph0DuraciónMenos de 15 min
4 diapositivas13:30EN
3Blue1Brown· 17 ago 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