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