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
Why AI firms should follow the example of quantum computing research
David Parker/Science Photo Library What is the difference between artificial intelligence and quantum computing? One is a sci-fi-sounding technology that...
Astronomers have spotted the largest known object in the universe
Artist’s illustration of the large-scale structure of the universeScience Photo Library/Alamy Astronomers have found the largest known structure in the...
Humpback whale songs have patterns that resemble human language
Humpback whales in the South PacificTony Wu/Nature Picture Library/Alamy Humpback whale songs have statistical patterns in their structure that are...
January 2025 sets surprise record as hottest ever start to a year
Sunset in San Diego, California, during an exceptionally warm JanuaryKevin Carter/Getty Images January has surprised climate scientists by setting a...