The top documents tagged [conjecture proofs]