최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
20VC with Harry Stebbings어제AI Engineer어제 +1硅谷101그저께MBMatthew Berman3일 전 +39PragerU3일 전Y Combinator3일 전SemiAnalysis4일 전a16z4일 전GOTO Conferences4일 전The Builders5일 전

필터 결과

1개
정렬
인물Aleph0언어영어
슬라이드 4장13:30EN
3Blue1Brown· 2025년 8월 17일How 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