A formal proof that AI-by-Learning is intractable