标签：计算理论
ICLR最佳论文：Transformer天生简洁
研究借助高维度平铺难题构建推演模型，证实参数仅呈多项式级别的网络能够精准表征复杂度呈双重指数级的空间约束关系。注意力机制在此承担起全局校验职责，依...
40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
一群业余爱好者成功解决了困扰计算机科学家40多年的忙碌海狸难题，这一成就得到了数学家陶哲轩和计算机科学家Scott Aaronson的高度评价。忙碌海狸问题起源于1...
史上首位阿贝尔奖、图灵奖双得主！2023图灵奖授予随机性大佬Avi Wigderson
2023年图灵奖授予了普林斯顿高等研究院的数学家和理论计算机科学家阿维·威格森（Avi Wigderson），以表彰他在计算理论方面的贡献，特别是在理解计算中随机性...
