A questão é que de fato existe um serviço como esse "Nomes do Brasil" que é fornecido pelo IBGE: https://censo2010.ibge.gov.br/
Ele é baseado nos dados do Censo 2010 e chances há que já exista a mesma funcionalidade para os dados do Censo 2022. Já explorei muito esses dados há muitos anos atrás.
Eu chuto que o jornalista mal informado tinha ideia de que esse serviço do IBGE existia há anos, mirou no pato e acertou o periquito!