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
X-ray boosting fabric could make mammograms less painful
Mammograms can be painful, but they may not need to beDaria Artemenko/Alamy Getting an X-ray can be uncomfortable – you...
Women’s pelvises are shrinking – how is that changing childbirth?
Medical advances have changed childbirth – potentially enough to impact human evolutionFatCamera/Getty Images Women’s pelvises have become narrower over the...
Sea spiders ‘farm’ methane-eating bacteria on their bodies
Sea spider from the genus SericosuraBiance Dal Bó Spider-like creatures living near methane seeps on the seafloor appear to cultivate...
28 Years Later review: Danny Boyle’s long-awaited zombie sequel is a triumph
An infected in 28 Years LaterMiya Mizuno/Sony 28 Years Later Directed by Danny Boyle, written by Alex Garland In cinemas...