Avi Wigderson 撰文综述计算理论奠基人 Michael Rabin 的学术遗产
fortnow · x · 2026-10-20
理论计算机科学重要奠基人 Michael O. Rabin 于 2026 年 4 月 14 日去世，享年 94 岁。Avi Wigderson 在 ECCC 发布论文《Michael Rabin's fingerprints across the theory of computation》，系统综述 Rabin 研究工作的广度与深远影响。Rabin 是计算理论的开创者与领军人物，这篇综述可作为了解其学术贡献的入口。
「研究」频道最新
- 仅 1 克！无线微型显微镜实现自由活动小鼠全皮层单细胞成像 — KordingLab · 2026-10-23
- Mike Frank 抛出超导可逆计算难题:能否用无偏置约瑟夫森结凑齐 BARCS 通用原语集 — MikePFrank · 2026-10-23
- Arc Institute 用基因组语言模型绘制原核非编码序列图谱 — tedgreenwald · 2026-10-23
- 同行评审的 AI 化：审稿人终于「进入附录」了 — abursuc · 2026-10-23
- Anthropic 用 Claude 为 100+ 开源库写下汇编级安全形式化证明 — AnthropicAI · 2026-10-23
- 研究提出 9 种策略为多 LLM 协作选模型，最优可超随机 36.1% — shangbinfeng · 2026-10-23