40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则 40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息，并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏:具体 图灵机 2024年09月28日 129 点赞 110 评论 47 浏览
