一种用于检测数学定理错误的计算机语言首次揭示了一篇被广泛引用的物理论文中的一个根本性错误。发现这一错误的科研人员表示，这是他首次以这种方式分析物理论文，这也引发了一个令人担忧的问题：还有多少论文存在错误？

【本文由小黑盒作者@王大炮Urumqi于03月30日发布，未经许可不得转载！】 一、游戏公元前 1952 年：剑桥大学 A.S. Douglas 在 EDSAC 计算机上开发 《OXO》（井字棋），是第一款运行在电子计算机上、有屏幕显示的电子游戏。