最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →
20VC with Harry Stebbings今日AI Engineer今日硅谷101昨日MBMatthew Berman一昨日PragerU一昨日Y Combinator一昨日SemiAnalysis3 日前a16z3 日前GOTO Conferences3 日前The Builders4 日前

絞り込み結果

1 件
並び順
トピックReasoning & test-time compute人物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