We prove the following conjecture of Furstenberg (1969): if 𝐴,𝐵⊂[0,1] are closed and invariant under ×𝑝 mod1 and ×𝑞 mod1, respectively, and if log𝑝/log𝑞∉ℚ, then for all real numbers 𝑢 and 𝑣,
dim_H (𝑢𝐴 + 𝑣) ∩ 𝐵 ≤ max {0, dim_H 𝐴 + dim_H 𝐵 − 1}.
We obtain this result as a consequence of our study on the intersections of incommensurable self-similar sets on ℝ. Our methods also allow us to give upper bounds for dimensions of arbitrary slices of planar self-similar sets satisfying SSC and certain natural irreducible conditions.