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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
AI Engineer今日硅谷101昨日PragerU一昨日Y Combinator一昨日SemiAnalysis3 日前a16z3 日前GOTO Conferences3 日前Latent Space4 日前Dwarkesh Patel4 日前Zhang Xiaojun Podcast5 日前

絞り込み結果

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