主动推断与"人工推理":用期望自由能驱动结构学习与规则发现
核心问题:如何采样最能揭示世界模型结构的结果——即在若干生成模型/假设之间做最优实验设计(rule discovery)。 数学工具:主动推断中,策略(动作组合)按期望自由能选择 = 期望信息增益 + 价值;信息增益即"含与不含行动后果"两种预测后验之间的 KL 散度。 计算效率
核心问题:如何采样最能揭示世界模型结构的结果——即在若干生成模型/假设之间做最优实验设计(rule discovery)。 数学工具:主动推断中,策略(动作组合)按期望自由能选择 = 期望信息增益 + 价值;信息增益即"含与不含行动后果"两种预测后验之间的 KL 散度。 计算效率
对 CKD 与对照小鼠肾组织做 4 小时间隔时序 RNA-seq,用 JTK_CYCLE 判定节律基因,并分为"丢失 / 获得 / 保持"三类。 总体:肾脏节律谱被大幅改写,"获得节律"是主导模式,核心钟基因表达被打乱。 免疫炎症侧:CKD 中上调的获得节律基因富集于免疫炎症通路
演进脉络:从 DENDRAL 专家系统、计算机辅助药物设计(CADD)、QSAR 建模,到 AlphaFold 3 生物分子复合物预测、计算机辅助合成规划(CASP)、天然产物生物勘探与自主多智能体系统。 重点进展:抗菌筛选、精准肿瘤学、植物化学表征,以及临床阶段的 AI 生成分
背景:传统人–AI 决策研究把过程当作"AI 给建议、人做决定"的线性分段流程;但 LLM 让交互更接近人–人团队的协作——成员必须共享并整合各自独有的信息才能做出好决策。 采用团队研究经典范式 隐藏剖面任务(hidden profile);操纵团队类型(人–AI 98 组 vs
纳入观察性研究与病例系列,用 ROBINS-I 评估偏倚;合并 527 例中 375 例发作频率减少 >50%,个别报告完全缓解。 疗效排序:失张力发作(跌倒发作)效果最佳,其次为强直与失神发作。 次要结局:警觉性、注意力与睡眠质量报告了定性改善。 证据质量:整体偏倚风险高——外
设计:随机交叉自身对照;补剂类型(咖啡因 / 硝酸盐 / 银杏叶提取物 / 儿茶素 / 安慰剂)× 疲劳状态(初始 / 疲劳 / 补剂后);20 名高水平 FPS 电竞选手,Stroop 任务诱导心理疲劳,补剂后静息 60 分钟再用 KovaaK's 模拟训练器测评。 射击精度:
第一阶段:103 例精神分裂症患者 + 76 名健康对照做 TMS-EEG 评估皮层兴奋/抑制;患者显示基线 N100 振幅降低(p=0.005),且与阴性症状严重度相关(r=−0.28, p=0.025)。 第二阶段:随机双盲试验,左 DLPFC 阳极 HD-tDCS(1.5
设计:横断面研究,20 名无糖尿病者 + 40 名 2 型糖尿病者(45–75 岁);居家 72 小时同步记录 ECG 来源心脏迷走张力(CVT,ProCVT SmartSheet)与盲态 Dexcom G6 CGM(≥70% 数据合格者 50 人)。 总体:夜间 CVT 越高,
问题:现有闭环刺激依赖预测算法补偿处理与刺激延迟,但预测误差会限制相位命中精度(高频尤甚)。 方案:开发并验证实时闭环 EEG-TMS 原型,在 1 ms 闭环更新周期内完成信号采集、相位估计与刺激触发,完全不需要相位预测。 人体测试 8 个目标相位 × 10 个目标频率(4–4
提出以 taVNS 作为药物维持治疗 + 心理治疗之非侵入性辅助的多时间尺度框架,假设通路为 NTS–LC–VTA:急性期去甲肾上腺素能调制 VTA 多巴胺神经元 → 中期受体/转录依赖适应 → 长期 BDNF/TrkB 相关突触重塑。 作者明确声明这些机制联系仍是假说:慢性阿片