图灵机
40 年图灵机难题被业余玩家攻破，陶哲轩评价“软件辅助证明改变数学研究规则”
09月06日
0评
国外博主戏称“用猫咪完成了图灵机实验”，不过严格来说还缺少无限大的房子
2021.11.27
0评
