Mathematicians found - and fixed - an error in a 60-year-old proof

As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof. Thankfully there was a fix, but the incident highlights the potential for other errors to be lurking in the mathematics literature