According to the guy that released the software,
he claimed that they had cracked two addresses but refuse to specify, saying it would destroy the integrity of bitcoin.
They also said they had found 38,187 addresses that belong to Satoshi, or 50*38187=1,909,350 btc.
It would be easy to provide a proof. My chinese has weakened over the last years, did they provide the txid of the stolen coins to confirm this on the blockchain?