TuringPi2 + RK1 ?
TuringPi2 is just a carrier board.
RK1 is RK3588, so 4 A55 "efficiency" cores, 4 A76 "performance" cores. The Pi5 has the same, roughly, performance cores. Different clock rates no doubt.
The TuringPi2 holds 4 of them, and takes a standard ATX PSU or 12V+ATX adapter
a vendor PSU + carrier board + ITX case + 4xRK1-16GB RAM + shipping = ~1300USD
Possibilities also exist for the OdroidM2. Mostly the same CPU, albeit a bit stripped of IO, and a package that may be harder to cool [the RK3588 is metal, the RK3588S2 is plastic]. PSU is 12V, which in my experience is more stable than boards with high power draw on 5V. A bit too new probably to have non-vendor-supplied kernels.
Or maybe the NanoPC-T6. same RK3588 [no trailing letters or numbers]. This one has Armbian support. Also 12V PSU. 802.3bz 2.5GbE ethernet, if that's of value to you.
I must admit to owning none of the above, albeit I've had good luck with the NanoPC-T4 & OdroidM1, and had horrible luck with the NanoPiM4v2 [like the NanoPC, but 5V USB power and crashing a lot with my WD Blue SSD + fan].
I also have a Radxa Rock5B [with the RK3588], but I'm not stressing it at all, just using it for screen sessions + elinks + random other SSH sessions.