A formal proof that AI-by-Learning is intractablelink.springer.com14 points·by birttAdenors·10개월 전·8 comments
birttAdenors·9개월 전·discussThis has to do with category theory and programming notions of optics and lenses.