We will discuss a Theorem of Moreira which says that, subject to some generic checkable conditions, the dimension of the arithmetic sum of dynamically defined Cantor sets equals the sum of the dimensions. No (correct) proof of this result exists in the literature. We will also present some work in progress which extends Moreira's result to cases not originally covered, including the sum of central Cantor sets.