絞り込み結果
3 件並び順
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.
10:16EN
Lex Fridmanポッドキャスト · 2 人Reasoning Without Logic: Yann LeCun on Teaching Neural Networks to Thinkゲスト Yann Lecun · ホスト Lex FridmanYann LeCun explains why he believes neural networks can reason, and what memory, recurrence and continuous representations would need to look like.
10:34ENLex Fridmanポッドキャスト · 2 人Why Deep Learning Needs Rules: Chollet on Interpolation, Abstraction and Hybrid AIゲスト François Chollet · ホスト Lex FridmanFrançois Chollet explains why neural networks only interpolate between points they have seen, and why the best AI systems pair them with symbolic rules.