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