数学家发现并修正了一个 60 年老证明中的错误

作为使数学机器可读的项目的部分，数学家已经在一个重要的证明中发现了一个错误。值得庆幸的是有一个修复，但该事件凸显在数学文献中其他错误正在潜伏的潜在性

新科学家 By Alex Wilkins

26 December 2024

Mathematics

哎呀！再试一次。Tetra Images/Alamy

在一个支撑广泛使用的现代数学的分支的证明中的一个错误被 数学家在将旧证明转换成一种计算机语言时意外发现。这个错误被迅速纠正，但数学家说这一事件凸显对捕捉其他可能的例子使数学计算机可读的的重要性。

大多数现代数学都居住在研究论文和教科书中，并依靠数学家检查彼此的工作来确保它是正确的。一个证明本质上是一种社会结构——如果足够多的数学家是满意一个证明的逻辑步骤......

要继续阅读本内容订阅subscribe新科学家杂志

https://www.newscientist.com/article/2461891-mathematicians-found-and-fixed-an-error-in-a-60-year-old-proof/