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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +312AI Engineer今日 +6Theo - t3․gg今日The Builders今日 +1a16z今日 +2硅谷101今日 +1SemiAnalysis今日 +1Chris Williamson今日Cheeky Pint今日Invest Like The Best今日

絞り込み結果

1 件
並び順
チャンネル3Blue1BrownトピックAI for science長さ15 分未満
スライド 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