用 Lean 验证 Michael Levin 生物电理论：数学成立率 88%，「柏拉图」成分得 0%
ProfBuehlerMIT · x · 2026-11-13
AGI House SF 举办「Formalizing Bioelectricity」讲座，围绕 Tufts 大学 Michael Levin 实验室二十年的生物电研究：蛙胚在长出面部前会以电压模式出现粗糙的「面部地图」；打乱蝌蚪面部后细胞会沿从未走过的路径复位；阻断涡虫细胞间电信号 48 小时后再切断，它会长出两个头且 DNA 不变。
数学史学者 Joel Dietz 把 Levin 最新论文中的七个主张转成可运行代码与 Lean 证明，并在数据公开前锁定预测：数学部分成立率约 88%；而 Levin 主张的「非物理柏拉图模式」贡献为 0%——普通局部规则已能解释所有结果。他强调「不需要」不等于「错误」。
讲座还将讨论：连接电压模式与基因、体型形态的预测性语言；任何「额外成分」必须在不曾见过的数据上击败纯物理最优模型；以及一个在万种以上物种上成立却在胡蜂翅膀上 0/7 失败的鱼形定律。
「漫话AGI」频道最新
- 观察人士：各方严重低估非 AI 研发加速，即便没有超级智能也会起飞 — teortaxesTex · 2026-11-13
- Sentience Institute 发表「基底主义」量表:因 AI 由硅而非碳就贬低其道德地位 — jacyanthis · 2026-11-13
- 评论：Anthropic 对齐工作开始见效，OpenAI 正被 Anthropic 和 Google 反超 — haider1 · 2026-11-13
- 爆料称 OpenAI 与 Anthropic 内部研究员已确认失业影响研究结果 — NathanpmYoung · 2026-11-13
- 知名投资人：中国开源模型为赢得全球好感与软实力 — tszzl · 2026-11-13
- 「算力即权利」:评论者警告美国反 AI 监管正复制核电覆辙 — nptacek · 2026-11-13