Comment by 2sk21

Unless humans have gone through the proofs line by line and verified them, this all remains unproven.