Preprint: A mathematically rigorous proof of the ABC Conjecture with AI review