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

Share This Post


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…



Source link

Related Posts

I Let AI Agents Plan My Vacation—and It Wasn’t Terrible

Trains booked, Operator thinks its job is done....

Slice SFB aiming to close FY26 in the black; not looking to raise any capital

Slice Small Finance Bank has turned profitable on...

Modernize your PC with Windows 11 Pro—now only $9.97

TL;DR: Upgrade to Windows 11 Pro for only $9.97 (reg. $199)...

Best power banks and portable chargers in 2025 for charging on the go

Even the best smartphone is useless without power....
- Advertisement -spot_img