40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了！数学大佬陶哲轩转发了这一消息，并欣慰表示：这再一次体现了证明助手对于数学研究的协作是多么有用。计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏：这个发现是自1983年以来，忙碌海狸函数研究中最重要的进展。具体而言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机：BB(5)=47,176,870（5状态图灵机，
-
-
国外博主戏称“用猫咪完成了图灵机实验”，不过严格来说还缺少无限大的房子
震惊！我的猫居然是图灵机！不信，先把祖师爷关于图灵机的定义拉出来看一下：在一条无限长的纸带（tape）上，一个读/写头进行移动，或按照特定的指令集执行更加复杂的行为。图灵本人还证明：只要图灵机可以被实现，就能够用来解决任何可计算问题。可以说，这一非实体概念是任何一个现代计算机程序的层级结构能达到的最高水平。所以，要成为一只图灵猫，就至少要做到：输入和输出增加或减小当前内存值在当前的纸带上向左或向右461 0 2021-11-27 14:04
