I doubt that amount of coins were ever stolen from mt.gox by a hacker.  Something else went on.

It would be more likely someone in mtgox has either let that info leak or leaked it themselves to add legitimacy to the claims of a hack.