Yes they've published proof. Also check this for more recent news: http://arstechnica.com/science/2013/05/d-waves-quantum-optim...