The Bridge to Mathematical Certainty: How AI and Lean Are Rewriting the Rules of Truth

What happens when you remove human judgment from the question of whether a proof is correct?