40年图灵机难题被业余玩家攻破,陶哲轩:软件辅助证明改变规则
原文中文,约4400字,阅读约需11分钟。发表于: 。神秘大佬完成最终证明
40年来,一群业余爱好者攻破了计算机难题——忙碌海狸难题,找到了第五个“忙碌海狸”图灵机,能在停下来之前写下47,176,870个“1”。这一成就得到了数学家和计算机科学家的赞赏。忙碌海狸游戏是为了研究图灵机的停机问题而提出的,目标是确定每个组中的“忙碌海狸数”。这一发现引发了人们对于下一个忙碌海狸数的探索。
神秘大佬完成最终证明
40年来,一群业余爱好者攻破了计算机难题——忙碌海狸难题,找到了第五个“忙碌海狸”图灵机,能在停下来之前写下47,176,870个“1”。这一成就得到了数学家和计算机科学家的赞赏。忙碌海狸游戏是为了研究图灵机的停机问题而提出的,目标是确定每个组中的“忙碌海狸数”。这一发现引发了人们对于下一个忙碌海狸数的探索。