Matt Hastings recently provided a proof of the existence of channels which violate the additivity conjecture for minimal output entropy. In this talk I will describe the main ideas of Hastings' proof. This will lead to some bounds for the minimal dimensions needed to obtain a counterexample.