It’s not easy to get a figure because the hardware is open source and multiple companies make and sell them. But https://web.public-pool.io shows over 14k Bitaxes plus various other derivatives.
https://pool.powermining.io shows nearly 800 Bitaxes.
Some people run their own public-pool instance on their node as well, so would not be visible on these public pools.