First note that x divides 2012⋅2=23⋅503. If 503∣x then the right-hand side of the equation is divisible by 5033, hence 5032∣xyz+2. Since 503∣x, this is a contradiction. Therefore x=2m,m∈{0,1,2,3}. If m≥2 then 26∣2012(xyz+2). However, the highest power of 2 dividing 2012 is 22, and the highest power of 2 dividing xyz+2=2myz+2 is 21. So x=1 or x=2 produces the following two equations
y3+z3=2012(yz+2)andy3+z3=503(yz+1).
In both of the equations above, we obtain that the prime 503=3⋅167+2 divides y3+z3. We claim that 503∣y+z. If 503∣y, then 503∣y+z is obvious. So we assume that 503∤y and 503∤z. Then by Fermat's Little Theorem we get y502≡z502(mod503). On the other hand, y3≡−z3(mod503) implies y3⋅167≡−z3⋅167(mod503), that is, y501≡−z501(mod503). Hence we obtain y≡−z(mod503); that is, 503∣y+z.
Therefore y+z=503k,k≥1. In view of y3+z3=(y+z)((y−z)2+yz), the two equations above can respectively be put into the following forms
k(y−z)2+(k−4)yz=8,(1)
k(y−z)2+(k−1)yz=1.(2)
In (1), we have (k−4)yz≤8, from which we get k≤4. Indeed if k>4, then 1≤(k−4)yz≤8, which forces y≤8 and z≤8. This is impossible, because y+z=503k≥503. Next note that in the first equation y3+z3 is even. Therefore y+z=503k is also even, meaning that k is even. So k=2 or k=4. Clearly when k=4, equation (1) has no integer solutions. If k=2 then equation (1) can be written as (y+z)2−5yz=4. Since y+z=503k=503⋅2, we get 5yz=5032⋅22−4. However 5032⋅22−4 is not a multiple of 5. Therefore equation (1) has no integer solutions.
In (2), we have 0≤(k−1)yz≤1, from which we get k=1 or k=2. Also 0≤k(y−z)2≤1, so k=2 only when y=z. In that case y=z=1, which is false since y+z≥503. Therefore k=1 and equation (2) can be written as (y−z)2=1, giving z−y=∣y−z∣=1. From k=1 and y+z=503k, we deduce y=251,z=252. In summary, the triple (2, 251, 252) is the unique solution.