RecodeX 重构消息,智元机器人正式启动港股IPO,此前曾两度否认上市传闻。