The ABC Conjecture, roughly stated says that the equation A+B+C=0 has no solutions for relatively prime, highly divisible integers A, B, and C. If the divisibility criteria are relaxed, then solutions exist and a conjecture of Mazur predicts the density of such solutions. We discuss techniques for proving this conjecture for certain ranges of parameters.