图灵机

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

声明:本文来自于微信公众号量子位 | 公众号 QbitAI，作者:一水，授权站长之家转载发布。40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数

新闻快报