Whether someone is using one of the released keys is precisely what I have been trying to check this morning. There are only 8 candidates for this, and thus far the only one that is suspect is the address with ~148,000 XPY in it, #8 on the Rich List:
https://chainz.cryptoid.info/xpy/#!rich
P.S: Personally I see no reason why people would not use these keys, if they work that is. Any notions of honoring what any supposed investors paid for having a Hyperstaking wallet were officially tossed out the window with the seizure/theft/deceptions of such and then the changing of the rules by a handful of shady characters. I see nothing that gives the crooks who say they have exclusive right to use these hyperstaking keys this right at all.
The only person I could think of with that many coins would be the wonderful Mr. Coins himself. He has been awfully quite lately on HT and on twitter...