The thing I don't get, is that the big thing about "smart contracts" is they are supposed to be code that has the full force of a legal contract. So, while this may not be what the author intended, it is allowed by the contract.
So why would the police or court be involved? No money was stolen, it was just taken legally by people who followed the letter of the contract which allowed them to do that.