One of the most bitterly contested proofs in modern mathematics may be on the verge of being untangled. Two projects, both ...