40年图灵机难题被业余玩家攻破,陶哲轩:软件辅助证明改变数学研究规则
40多年的计算机难题——忙碌海狸难题,被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息,并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文,并大肆赞赏:具体言,人们历经数十年努力,终于找到了第五个“忙碌海狸”图灵机:图灵机是一种抽象的计算模型,通过读取和写入0和1在无限磁带上进行计算。早在40多年前,一群计算机科学家在德国多特蒙德举行竞赛,寻找“忙碌海狸”图灵机。以至于著名理论计算机科学家ScottAaronson发出感慨:嗯?这话有点耳熟,BB好像也是这样说的。