| # | 项目 | 出处 | 核实 |
|---|---|---|---|
| P1 | Shiu PK, Sterne GR, Spiller N, Franconville R, … Murthy M, Bidaye SS, Scott K. "A Drosophila computational brain model reveals sensorimotor processing" | Nature 634, 210–219 (2024-10); nature.com/articles/s41586-024-07763-9 | ✅ Nature 检索摘要直接核对(125,000+ 神经元 / 50M 突触 / LIF / 递质 ML 预测 / 光遗传验证) |
| P2 | FlyWire 联盟九篇系列(旗舰:全脑连接组 139,255 神经元 / >5×10⁷ 突触) | Nature 2024-10 封面专题(Princeton Murthy/Seung 领衔,76 实验室,Janelia 2018 电镜源) | ✅ 多源一致;卷页细节【待核】 |
| P3 | "重叠与分歧:介导糖不同行为反应的神经回路" | Cell Reports 2024, DOI 10.1016/j.celrep.2024.114782 | ✅ ScienceDirect 摘要命中(糖回路二/三级分歧、苦味多级覆写、饥饿早期位点调制) |
| P4 | MaleCNS v1.0:成年雄性果蝇全中枢神经连接组 | Cell 2026-09-03(HHMI Janelia + 剑桥 MRC LMB + Google Research);GitHub/HF 开源 | ✅ 四家独立媒体同数:166,691 神经元 / ~1.25×10⁸ 突触 / 11,691 细胞类型;44 人年人工校对 |
| P5 | Eon Systems PBC 具身数字果蝇(Shiu 脑 + MuJoCo/NeuroMechFly 身体) | 2026-03-07 发布(CEO Andregg / 联创 Wissner-Gross) | ⚠ 公司视频+媒体转述,非同行评议;寻食/理毛/进食自主行为;可塑性未建模 |
| P6 | chetaslua NumPy 复现(MacBook)+ ChatGPT 读出器:MN9 78Hz/苦 3Hz;线性解码 16 词 100% | 2026-09 开发者社区 | ⚠ 非正式发表;方向与 P1 结论一致 |
| P7 | DOOM/Minecraft/Mario64/BeatSaber/Stonkfly 玩家改造 | Wormuth / Smith (Georgia Tech) / Paquette 等, 2026-09 | ⚠ 工程 demo;PPL101 多巴胺负反馈设定属实 |
| # | 缺口 | 内容 | 入口(0涌现理论内) | 逻辑 | 解决办法(可证伪) |
|---|---|---|---|---|---|
| G1 | 取值之谜 | Wsyn=0.275mV 为何恰落在功能区间——结构完备+单参数成功只证明"该点在解空间内",未解释"为何此点" | 六层模型 SYS1b→SYS2a 层桥(layerBridge)+ TimeArrowFunctor 耦合常数槽 | 功能对参数宽区间鲁棒 ⇒ 弱涌现;存在相变边界 ⇒ 边界位置本身可解释 | Wsyn 参数扫描找功能相变点;相变条件反译为 SYS1 约束(阈值 −45mV、时间常数分布)入 constantsLibrary |
| G2 | 状态层缺失 | 可塑性、神经调质、饥饿等内部状态未建模(Cell Rep 2024 显示饥饿在更上级位点调制)——同一结构不同状态不同行为,结构 ≠ 充分条件 | worldState 六层置信 + empiricBio 实证口 | 向下因果候选位点:状态变量改变层间映射 F 本身 | 加入调质扩散场为第二自由度;若单参数退火即复现饥饿效应,向下因果被层内变量吸收,强涌现降级 |
| G3 | 读出器混淆 | 16 词 100% / 85% 的"语义"可能住在线性读出器里而非脑中——涌现归属的观测者依赖 | theoryAsk 的 dimensionCheck 式自检思想 + verifyCausalChain 协议不变性 | 涌现判定须对"读出协议"不变:换协议判据翻转 = 判定不稳健 | 读出协议不变性测试:同一活动换 MLP/决策树/随机投影读出器,判据稳定→涌现客观;翻转→标注协议依赖 |
| G4 | 意向性未上浮 | 感知-行动闭环是 SYS2 内自适应,未触及 SYS2→SYS3 意向性层(无他者、无符号承诺);玩家改造的"目标"全由外部注入 | 三制度模拟的意向性基线 + MacroEmergenceFunctor 入口 | 行为等价 ≠ 现象意识 ≠ 社会意向性;"数字孪生有感受吗"应判 unverifiable 而非 yes/no | 双数字果蝇互为环境,测是否涌现通信结构——若涌现则 SYS3 入口打开;不可证伪前禁写入结论 |
判定之后停在手写论证,是理论弱项之一。v81 把本案的三条断言编进引擎函数——新增脑神经网络函数原语 js/utils/neuroLifPrimitives.js:320 神经元 LIF 随机网络 (E:I=3:1, 强泄漏运动元), 糖信号必须穿过「感受池→中继池→运动元」两级突触增益 (与 GR→DN→MN9 链同型), 苦信号走抑制门直压运动元 (Ir94e 运动抑制同型); 全程 mulberry32 种子化, 无 Math.random / 无云调用, 双跑逐值一致。
| 断言 | 代理模型机检结果 | 对应缺口 |
|---|---|---|
| 功能对唯一增益参数存在窄带, 带边界可测 | Wsyn 全域扫描 [0.004, 0.2]: 功能带 [0.004, 0.056], 上沿为自持爆发相变(群体活度越过 0.40), 带内自发活度 ≤0.14 —— 涌现边界=剂量响应曲线上的可定位对象 | G1 取值之谜(入口打开) |
| 效价=频率编码可从网络本身读出 | 工作点 W*=0.012 处: 糖 285.8 Hz ≫ 苦 0 Hz (选择比 571×, 真值参照 78/3 Hz 数量级一致, 无量纲代理) | 效价编码判据可跑 |
| 内部状态改变映射 F 本身 | 调质态 g=1.12 (饥饿, 只乘突触增益/受体不乘本底): 功能带上沿 0.056→0.044 位移 —— 同一增益在饥饿态更易失稳 = 状态变量作用于层间映射的最小实证 | G2 状态层缺失(入口打开) |
▶ 现场入口:「自然世界」页尾本卡下方「🧪 引擎落地」卡, 点击即跑 Wsyn 扫描 (本地 ~2 秒), 附剂量响应 SVG 与逐条判据。
05 文档的弱项清单 W1–W8 中留办的 P5(G3)/P6(云化+化学桥+锚扩容)/P7(G4)/P8(取值反哺),本轮按"不删不改已有功能、只调和矛盾与增功能"前提全部执行。三台新"边界测量机"均为本地毫秒级确定性计算(自然世界页尾「⚡ 前沿三连」按钮即跑),同一套代码经九镜像纪律进入云函数 causalWeightMapping · neuroLab(band/readout/coupling/bridge/anchors 五路)可在线复跑。
| 计划 | 断言 → 机检 | 实测结果 | 结论 |
|---|---|---|---|
| P5 读出协议不变性 (G3) | 效价分离若只是解码器伪影, 换独立读出协议应翻转; 新增 readoutInvariance: 同一发放序列 × {线性全空间 / ±1随机投影320→32 / 置换零化} 三协议, d′ 判分离 | W*=0.012 处: d_lin=7.52 / d_proj=8.00 / d_perm=6.10 — 两独立解码器族同向同量级, 且置换存活 ⇒ 群体率编码 | ✅ G3 闭合: "效价=涌现客观属性"获准登记 (判据不住在读出器里) |
| P6① 云化 | 原语族不得是网页二等公民: neuroLif/transmitterBridge 九镜字节全等 (6 网页镜像 + MP utils + ES + CWM), CWM 增 neuroLab 纯函数分派 (零 DB) | SYNC82 机检 49/49; 云端部署后网关 invoke 五路回包逐值一致 (见文末实测行) | ✅ W8 云侧除; 与并行线 emergenceMath v1.4.0 的部署矛盾一并调和落地 |
| P6② 化学→符号桥 (W4) | 新增 transmitterBridge: 谷氨酸/GABA-A/nAChR 定快突触符号, 章鱼胺/多巴胺=调制型不定符号; 糖回路+苦门+饥饿调制 11 单元/8 边最小样本, 链极性=符号乘积 | 化学决定率 82%, 可决定单元与生物学标注一致 100% (9/9); 三条通路符号全部预测正确 (糖链 +、苦门 −、饥饿链"不定"⇒ g 入口) | ✅ SYS1b→SYS2a 首个可运行桥样本; 18% 状态余量与调质 g 咬合 |
| P6③ SYS2a 锚扩容 (W7) | 锚家族单点全指 Shiu 一族 ⇒ 扩三条独立锚 (读后写, 置信值 0.52 不动, 无证明不升档) | 在线 DB 回读 anchors 3→6: +MaleCNS 结构完备度 / +Eon 具身闭环 / +递质比例桥样本 (transmitterBridge 机检), 旧三锚原样保留 | ✅ 反哺纪律从"单点借证"变"三族独立", 升档仍待 P8 式证明 |
| P7 双脑耦合 (G4) | 新增 dualBrainCoupling: 两 320 元 LIF 脑互为环境 (A→B/B→A 各 16 源/单元广播注入, wC=0.025), 无感觉脉冲双流噪声, 4000 步; 双向 lag1/bin3 传输熵 vs 置换零模型+无耦合控制 | TE(A→B)=0.111 / TE(B→A)=0.110 bit, 零模型≈0.0002, 无耦合控制≈0.0016 不越门; 耦合态活度 0.024≈3×自发 — 结构涌现检测: 通过 | ⚠ 只开 SYS3 通信结构入门票; 不作意向性/意识断言 (口径不变) |
| P8 取值反哺 | constantsLibrary 新增 EMERGENCE_DERIVED_ANCHORS: 每参数登记"边界存在性证明(代理内)", 无证明不许升档 (upgraded:false) | Wsyn_proxy 三证: 带存在性(v81) + 读出稳健(P5) + 化学来源(P6); modulator_g 三证: 位移存在性(v81) + 化学余量(P6) + 亚临界界(P7, wC=0.08 互锁抹零=读出协议与动力学区纠缠活标本) | ⚠ 框架从"只能借数值"到"能导出带存在性证明"; "为何恰是 0.275mV"仍未解——诚实标注为外部借入 |
▶ 现场入口: 自然世界页尾「🧪 引擎落地」卡内 Wsyn 扫描 + 「⚡ 前沿三连」三按钮 (P5/P6/P7 逐台即跑); 云端: causalWeightMapping invoke {action:"neuroLab", part:"readout|bridge|coupling|anchors|band"} 同码复跑。
此前诊断:v81/v82 之后,模型函数、大模型判定(theoryAsk)、数学/范畴判据(emergenceMath K块、strata H¹)是三座各自跑通的岛——链条每一环都有人跑,但没有一环是模型自己接力的。v83 按"不删不改已有功能"前提补四棒:
| 棒 | 接口 | 机检结果(双跑逐值一致) | 意义 |
|---|---|---|---|
| P9 函数→判据 | 新增 kbAssess:LIF 三态/双脑序列喂 emergenceMath K块 W1–W3(页尾「⚡ 前沿三连」第四按钮即跑,云侧 neuroLab part=kb) | W1 拓扑化 Ni: 320→250.5(稀疏0.883/循环0.102/不规则0.386,因子×0.783);W2 R²=0.4617 ⇒ irreducible(行为不可由感觉输入线性还原);W3 严格口径 te=0.0232 未越门 / 广播口径 te=0.4283+Granger 显著 ⇒ proven;TE 双实现互证 Δ0% | ✅ 功能带在理论自己的判据语言里再表述成立;W2 不可还原是 G1 入口最硬的一张数学证词 |
| P10 判据→大模型 | theoryAsk v1.8.1 纯增 engineEvidence 通道:命中神经主题(果蝇/Wsyn/神经元/…)时引擎现场实跑(readout/kb/bridge/coupling 五段证据),注入五段式 prompt 并挂 answer 面;非神经题零感知 | 离线全路 10/10:prompt 含"【引擎实测】d_lin=7.52…R²=0.4617";降级路径(云 AI 配额面 429 时)也带证据+"接力棒已就位"注记;旧 ANSWER_KEYS 8 键/旧白名单不动 | ✅ 大模型第一次拿到仪器读数作答(复判消费待配额面恢复,通道已通) |
| P11 大模型→范畴 | 新工具 h1_neural.js(与 h1_sheaf 同规格公式,不触并行线文件):神经证据按 paperWeightFeed.classifyLayer 云端同口径归层构造见证,算跨层相容图与 H¹ | 10 条见证 / 5 锚点 / 跨层检验 3 对(化学-生物/生物-认知/化学-认知)/ 不相容回路 0 ⇒ H¹(β₁)=0,输出 strata_neural_h1.json | ✅ 神经数据首开范畴见证:在六层层格上相容可粘接——真 861 条文本见证 H¹=0 之外,神经域第一个非空检验样本 |
| P12 自动回写 | 接力管道 _v83_relay_pipeline.js:现跑五引擎取逐值证据 → 读后写 worldState SYS2a.machineEvidence 单字段(幂等),DClawScheduler 每日挂点;锚与置信一律不动 | 补丁含 p5/p9/p7/p6/h1 全值;回读验证 anchors=6 · conf=0.52 不变 | ⚠ 机器证据自动流转已通;"无证明不升档"仍在守——升档须 P8 模板外的真数值推导 |