Sanders proposes $1,000 AI dividend