The game was actually
Donkey Kong Jr., not Donkey Kong.

That CNN article actually mixes up the two several times as well...
Those were probably my two all time most favorite arcade games as a kid. I'd play 'em for hours! I still play them both whenever I come across them, and can still get up close to 100,000 on them. What can I say, the old man's still got it!

I've been waiting for years for Nintendo (or anyone) to put these two all-time classics out for PC. I'm always on the lookout for any new games with any old arcade classics that I grew up on, but these two are definitely at the top of my list. No idea what the hold up is, considering what a generally hot commodity the Mario/Donkey Kong property is...

So that article never mentioned the number of players that the guy started with. I'd assume it'd have to be the standard 3 only, otherwise it's not really legit. Pretty surprising that something like this actually made the news. I had NO idea people actually kept track of world record video game scores like this. I'd love to see a list of the records for a lot of the other older games! Anyone know where I can find one?