Mammoth proofs and the P != NP attempt | Hacker News Reader