Which one to buy
The 4 Pro is the one for a medium to large room: 500 m3/h CADR covering up to 60 m2, an OLED display, and fan modes, PM2.5 and filter life all exposed locally.
The 4 is the one with temperature and humidity sensors alongside PM2.5 in Home Assistant, with a CADR that still covers medium to large rooms.
Both need a one-time Xiaomi cloud login to extract the token; the 4's replacement HEPA filters cost more than IKEA STARKVIND filters, and the 4 Pro is largely an import in the US.
I haven't run any of these; the picks are based on the spec sheets and what other Home Assistant users report.