필터 결과
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.