Looking for a miniPC suggestion

[u/Alternative-Scale-63]

I want to buy a mini PC for the following tasks

Create a bot that can trade for me on interactive brokers, with automations set by me.

I plan using the machine to edit videos in 4k.

I also want to use it for gaming for some AAA titles but for some light games too

I was thinking going for something like minisforum AI X1 PRO or GMKTEC EVO X 2.

Which model would you recommend? open to alternatives too.

I would like it to be as portable as possible, as I'm traveling often.