[Havoc]

> 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

[xgstation]

I can imagine how depress Lee felt when being beaten by AI the first time, but looking at the bright side, we see Shin Jin-seo as the rising star in the AI-era of Go by leveraing AI to help him training.