I was wondering about mathematical proofs as it tends to be very abstract. If chatgpt can translate proofs back to equivalent code then this recursion problem

I was wondering about mathematical proofs as it tends to be very abstract. If chatgpt can translate proofs back to equivalent code then this recursion problem is as solvable up to the halting problem