As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof.

A mathematical proof is a sequence of statements that follow on logically from each other that shows that something is always true. Using letters to stand for numbers means that we can make ...