Can someone please answer me this question.

I keep reading everywhere that Mt. Gox "Lost" 750k Bitcoins.

Did they lose them forever? Like when someone loses their private key, or hard drive crash.

Or

Were they stolen and still could be in circulation?

Thanks