The coins associated with the lost keys are simply gone forever. There has been discussions about retrieving missing coins from oblivion, but nothing viable is in the works. Even so, it isn't really a problem; while the supply of coins shrink, the value of the remaining coins increase; and BTC can be infinitely divisible should the need arise to satisfy demand.