Ele pegou o valor encontrado em alguns endereços que rastreou e dividiu pelo salário médio.. o que daria entre ~300 a 900 norte-coreanos empregados..

Ele mesmo diz que muitos tem múltiplos empregos, então pode ser que isso também diminua o número final.

Até o Google já publicou um relatório sobre isso.. tem hacker até no Brasil: https://cloud.google.com/blog/topics/threat-intelligence/dprk-it-workers-expanding-scope-scale