Human oversight is essential; AI proofs can help, but humans must judge context, ethics, and reproducibility.
