Le fournisseur d'IA RoboTechnik vise une introduction en bourse de 800 millions de dollars à Hong Kong