For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the ...