I sometimes wonder whether a 14yo kid should be mining bitcoins on his home PC, leaving it on all night every night. I don't like it but his parents don't mind

I sometimes wonder whether a 14yo kid should be mining bitcoins on his home PC, leaving it on all night every night. I don't like it but his parents don't mind - they have no clue what it's about. I'm the Uncle, wondering if I should say anything or let him have fun. So far I haven't said anything. There's not much learning going on mining coins, is there? I might be wrong, but I was hoping he'd be into creative programming and making things on his PC. But for the teenager it's all games, bitcoins and good times!