Common issues in proofs/disproofs of major conjectures | Hacker News Reader