A formal proof that AI-by-Learning is intractablelink.springer.com14 points·by birttAdenors·10 tháng trước·8 comments
birttAdenors·9 tháng trước·discussThis has to do with category theory and programming notions of optics and lenses.