> have all these players gone?

The guy that got beaten literally decided to retire immediately after explicitly because AI displaced him

> On 19 November 2019, Lee announced his retirement from professional play, stating that he could never be the top overall player of Go due to the increasing dominance of AI.

I do get your point though that overall player count is still fine