Not surprising that they discovered it, even if they weren’t aware of it - I’m guessing this is how it went: person tried to use his card number on some random website, but it kept telling him that his number is invalid. They scratch their head and double, triple check that number and then do a google search.
meaning two things: you understand the algorithm and you checked the algorithm.
This is like discovering a compiler bug from code that compiled - statistically unlikely, and requires deeper expertise.
I mean I shouldn't be surprised, it's HN.