年图灵机难题被业余玩家攻破陶哲轩软件辅助证明改变规则

年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变规则

40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了！数学大佬陶哲轩转发了这一消息，并欣慰表示：这再一次体现了证明助手对于数学研究的协作是多么有用。计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏：这个发现是自1983年以来，忙碌海狸函数研究中最重要的进展。具体而言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机：BB(5)=47,176,870（5状态图灵机，能在停下来之前写下47,176,870个“1”）图灵机是一种抽象的计算模型，通过读取和写入0和1在无限磁带上进行计算。早...