> that's what "productivity", in the economic sense, means

That's too strong. It does mean we can do the same work with fewer people, but depending on the shape of the demand curve that can mean more jobs exist doing that thing than otherwise would (an instance of the Jevons Paradox).