One day the initial algorithms used by Bitcoin will be broken, and these lost coins will be unlocked. Likely not in our lifetimes, but 100 or 200 years from now.