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



Oops! Try that again
Tetra Images/Alamy
An error in a proof underlying a widely used branch of modern mathematics was accidentally discovered by mathematicians while translating old proofs to a computer language. The mistake was swiftly fixed, but mathematicians say that the episode highlights the importance of making maths computer-readable to catch other possible examples.
Most modern mathematics resides in research papers and textbooks, and relies on mathematicians checking each other’s work to make sure it is correct. A proof is essentially a social construct – if enough mathematicians are satisfied that the logical steps of a proof are…
You Might Also Like
Physicists are uncovering when nature’s strongest force falters
The STAR detector at the Relativistic Heavy Ion ColliderBROOKHAVEN NATIONAL LABORATORY We are getting closer to understanding when the strong...
There are five types of sleep – here’s what that means for your health
Sleep can be experienced very differently from one person to the nextPeopleImages/Shutterstock Different people may experience one of five types...
Your happiness in life may not be U-shaped – here’s how it could vary
Our happiness levels are not constant throughout our livesIppei & Janine Photography/Getty Images The commonly held belief that happiness follows...
Jane Goodall, dogged advocate for the natural world, has died aged 91
Jane Goodall studying the behaviour of a chimpanzee during her research in TanzaniaPenelope Breese/Liaison Renowned conservationist Jane Goodall has died...