主动推断与"人工推理":用期望自由能驱动结构学习与规则发现
核心问题:如何采样最能揭示世界模型结构的结果——即在若干生成模型/假设之间做最优实验设计(rule discovery)。 数学工具:主动推断中,策略(动作组合)按期望自由能选择 = 期望信息增益 + 价值;信息增益即"含与不含行动后果"两种预测后验之间的 KL 散度。 计算效率
核心问题:如何采样最能揭示世界模型结构的结果——即在若干生成模型/假设之间做最优实验设计(rule discovery)。 数学工具:主动推断中,策略(动作组合)按期望自由能选择 = 期望信息增益 + 价值;信息增益即"含与不含行动后果"两种预测后验之间的 KL 散度。 计算效率
演进脉络:从 DENDRAL 专家系统、计算机辅助药物设计(CADD)、QSAR 建模,到 AlphaFold 3 生物分子复合物预测、计算机辅助合成规划(CASP)、天然产物生物勘探与自主多智能体系统。 重点进展:抗菌筛选、精准肿瘤学、植物化学表征,以及临床阶段的 AI 生成分
筛出 5 个在 GBM 与 CRC 中一致失调的保守 miRNA:miR-106a-5p、miR-106b-5p、miR-20a-5p、miR-20b-5p、miR-138-5p。 上调组:miR-106a/106b-5p 在两癌中均上调且预后较好(表达越高生存越好);miR-2
规模:多模态空间图谱;蛋白组 214 例发现 + 155 例验证,证明瘤内 TLS(iTLS)是独立预后标志物,并建立四层 TLS 微环境分类与随机森林 TLS 预测分类器。 结构:成像质谱流式(IMC)显示 iTLS⁺ 肿瘤具结构化免疫架构——M1 样组织驻留巨噬细胞、树突细胞
对 CKD 与对照小鼠肾组织做 4 小时间隔时序 RNA-seq,用 JTK_CYCLE 判定节律基因,并分为"丢失 / 获得 / 保持"三类。 总体:肾脏节律谱被大幅改写,"获得节律"是主导模式,核心钟基因表达被打乱。 免疫炎症侧:CKD 中上调的获得节律基因富集于免疫炎症通路
背景:约 50% 成人 OCD 对一线治疗(暴露与反应预防 ERP ± 药物)反应不足,导致长期社会、教育与职业功能损害。 设计:250 名成人 OCD 随机接受 ERP + 真/假 1 Hz rTMS 靶向 pre-SMA;每周 4 次、至少 5 周(20 次 rTMS-ERP
数据:随机、对照、三盲试验二次分析,35 名女性接受真阳极 M1 tDCS(2 mA × 20 min × 10 次)或假刺激;疼痛 VAS 在基线、D10、D30、D90 评估。 疗效:真 tDCS 在 D10、D30、D90 均显著优于假刺激(p<.001)。 预测:6 种监
场景:微服务事故诊断。核心工具 TCA(Telemetry Claim Adjudicator) 是一个不依赖结果标签的机械裁决器,逐条裁定 LLM 智能体在诊断中引用的遥测断言是否有依据。 配套制品:6 种架构臂 × 2 个基准的诊断 harness;以 SHA-256 请求号
背景:传统人–AI 决策研究把过程当作"AI 给建议、人做决定"的线性分段流程;但 LLM 让交互更接近人–人团队的协作——成员必须共享并整合各自独有的信息才能做出好决策。 采用团队研究经典范式 隐藏剖面任务(hidden profile);操纵团队类型(人–AI 98 组 vs
对象:2 例携带双等位 HYOU1 变异、表现为原发性免疫缺陷的无关患者。患者 1 纯合 p.Pro444His(发育迟缓、低血糖、B 细胞减少、中性粒细胞减少);患者 2 复合杂合(反复感染、肠病、低丙种球蛋白血症)。 分子层面:患者 1 的 HYOU1 转录正常但蛋白严重降低