AI推進で通信大手が再編される中、プロキシマスは数千人の人員削減を計画