There are “industrial labs” for mathematics? (I would think that an implicit qualifier here is “in fields where there is actually an incentive for industry to do field-advancing research, to create + own the resulting IP.”)