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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
20VC with Harry Stebbings昨日 +80AI Engineer昨日 +1硅谷101一昨日MBMatthew Berman3 日前 +61PragerU3 日前Y Combinator3 日前a16z4 日前 +1SemiAnalysis4 日前GOTO Conferences4 日前The Builders5 日前

絞り込み結果

1 件
並び順
トピックAI for science人物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