After researching a little bit more, yes they do get burned, they go to @null, which is a special account that nobody has control over. And then later they will be removed with a hardfork.
So the value remains in the community but the coin is burned, decreasing the supply and raising the value.