Mammoth proofs and the P != NP attempt · HackerTrans