Obviously that's curious, but there are 2 things we know for sure:
1. Satoshi is 4
BTC richer now

2. The coins aren't lost unless Satoshi has no access to the private keys.
ps: If you want to be absolutely sure that you burn some coins, you can generate a wallet, send money to the address and make sure to forget the private key, or burn it, or destroy it, or demolish the building where you have saved it.