ParentFull thread2sk21·Unless humans have gone through the proofs line by line and verified them, this all remains unproven.View on HN