Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
Matthew Bermanayer +478Theo - t3․ggayer +33AI Engineerayer +6The Buildersayer +1a16zayer +2硅谷101ayer +1SemiAnalysisayer +1Chris WilliamsonayerCheeky PintayerInvest Like The Bestayer

Resultados

1 artículos
Ordenar
PersonaAleph0Voces2 voces
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