How Ai Advances Proof Testing Processes