标签：计算理论
40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
一群业余爱好者成功解决了困扰计算机科学家40多年的忙碌海狸难题，这一成就得到了数学家陶哲轩和计算机科学家Scott Aaronson的高度评价。忙碌海狸问题起源于1...
史上首位阿贝尔奖、图灵奖双得主！2023图灵奖授予随机性大佬Avi Wigderson
2023年图灵奖授予了普林斯顿高等研究院的数学家和理论计算机科学家阿维·威格森（Avi Wigderson），以表彰他在计算理论方面的贡献，特别是在理解计算中随机性...
