Ethernodes.org crawler isn’t capturing all the nodes, but supposedly it’s either getting updated or a new one is coming out that should see all of them.
Seems like it’s about 6000 according to geth dev:
https://mobile.twitter.com/peter_szilagyi/status/14605772098...
There’s also about 4600 eth2 nodes: