算法与理论计算机2024arxiv.org
将经典排序算法作为形态发生模型（2023）
Classical sorting algorithms as a model of morphogenesis (2023)
进阶 · 约 35 分钟读完前置知识：基础排序算法、自组织与复杂系统、形态发生/发育生物学基础
导读
论文将经典排序算法（如冒泡排序）作为形态发生的模型系统，研究排序过程中的局部交换规则如何涌现出类似生物发育中的全局组织行为，以此探讨“基础认知”是否可以出现在简单计算结构中。作者团队包括知名生物学家 Michael Levin，其长期主张智能不限于大脑。
HN 关注点：Michael Levin 关于“基础认知/形态发生智能”的研究，讨论焦点在于这类自组织行为是否算得上“智能”。
HN 评论精选
这几条评论里：支持 1 质疑 1 补充 2
支持由“弱智能无处不在”引申出费米悖论与智能体冲突的猜想
构建一个复杂但非图灵完备的系统其实出奇地难。如果基础智能存在于多样的计算结构中，那弱智能就无处不在；如果弱智能无处不在，类地行星也无处不在……那外星人在哪？我个人怪博弈论：太多聪明智能体挤在一起就会产生冲突，最终有人朝你方向炸开一个原子。还是说需要情绪才有冲突？存在基础情绪吗？我通常不担心 AI 起义，但相信冲突的可能性。
mithametacs查看英文原文
Building something that isn't Turing-complete is surprisingly-hard once it's complex enough. If basal intelligence is present in diverse computational structures, then weak intelligence is everywhere. If weak intelligence is everywhere, Earth-like planets are everywhere, ... where are the aliens? Personally, I blame game theory. Too many agents too smart in one place, you get conflicts, and eventually someone breaks an atom apart in your direction. Or do you need emotions to have conflict? Are there basal emotions? I'm usually not worried about AI uprisings, but I do believe in the possibility of conflict.
补充补充作者背景与相关演讲资料
这篇预印本的最后一位共同作者是 Michael Levin，他有很多其他很酷的工作。特别是他在 NeurIPS 2018 的这个演讲，包含迷人的生物学研究成果，以及对生物启发式 AI 未来的思考（附视频链接和当年 HN 讨论）。
jstrieb查看英文原文
The last coauthor listed on this preprint is Michael Levin, who has a lot of other cool work. In particular, this talk of his from NeurIPS 2018 includes fascinating biology research results, as well as musings on the future of biologically-inspired artificial intelligence. https://youtu.be/RjD1aLm4Thg HN discussion about the talk: https://news.ycombinator.com/item?id=18736698
质疑质疑将其称为“智能”，认为这只是自组织现象
这很有趣，但我会称之为自组织/自组织复杂性的例子，而不是智能。细胞膜、胶束、脂质双分子层都能自组装，我们不会称这样的系统为智能。
niemandhier查看英文原文
This is fun, but I would call it an example of self organization / self organized complexity not intelligence. Cell membranes assemble themselves, so do micella ( little spherical protein baubles ), or to take a non living example lipid bilayers. We would not call such a system intelligent.
补充补充 Levin 相关演讲与访谈资料
推荐 Michael Levin 的《形态发生的集体智能：基础认知的模型系统》演讲，以及 Machine Learning Street Talk 的访谈《为什么智能不限于大脑》。
sitkack查看英文原文
"The Collective Intelligence of Morphogenesis: a model system for basal cognition" by Michael Levin https://www.youtube.com/watch?v=JAQFO4g7UY8 And from Machine Learning Street Talk Michael Levin - Why Intelligence Isn't Limited To Brains. https://www.youtube.com/watch?v=6w5xr8BYV8M
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2024Hacker News 讨论帖166 分 · 79 评
同领域还值得读
哲学家为何应关注计算复杂性
Why Philosophers Should Care About Computational Complexity (2011)
Scott Aaronson 的这篇长文论证计算复杂性理论（如 P vs NP、停机问题的复杂度视角）对哲学问题（如知识的本质、中文房间、水槽论证等）具有实质意义，而不仅是技术细…
算法与理论计算机2015 · 552 分 · 120 评进阶 · 约 90 分钟编辑精选通信的数学理论
A Mathematical Theory of Communication
是香农1948年的《通信的数学理论》，为通信建立数学框架：把信息量定义为不确定性或自由度（信息熵），并讨论信源编码、信道容量与可靠传输。
算法与理论计算机2020 · 495 分 · 91 评进阶 · 约 120 分钟编辑精选物理、拓扑、逻辑与计算：罗塞塔石碑
Physics, Topology, Logic and Computation: A Rosetta Stone (2009)
用范畴论充当“罗塞塔石碑”，试图在量子物理、拓扑、逻辑与计算四个领域之间建立统一的结构性类比：物理中的量子过程、拓扑中的配边、逻辑中的证明和计算中的程序，都可被视为某类范畴中的态…
算法与理论计算机2009 · 390 分 · 55 评 · 引用 13专业 · 约 180 分钟编辑精选一种快速、极小内存的一致性哈希算法
A Fast, Minimal Memory, Consistent Hash Algorithm
论文给出一种快速、省内存的一致哈希方案，目标是在桶数量变化时保持较小的键迁移成本，同时降低计算和内存开销。
算法与理论计算机2014 · 327 分 · 57 评 · 引用 4进阶 · 约 25 分钟编辑精选第五个 Busy Beaver 值的确定
Determination of the fifth Busy Beaver value
宣布确定了第五个 Busy Beaver 值 BB(5)：即 5 状态图灵机中停机前运行步数最多的机器（Champion）在 47,176,870 步后停机。
算法与理论计算机2025 · 288 分 · 116 评 · 引用 1专业 · 约 75 分钟编辑精选