2026-08-17
MIT 教授提出科学智能闭环五组件:表示、干预、外部约束、修正、累积记忆;智能的单位从神经网络迁到外围系统。
AI 已经能查文献、写代码、生成分子结构、搭仿真,这些能力供应的是发现的原料。Markus Buehler(MIT 的 McAfee 工程讲席教授)在这篇 11 页的文章里问的是另一件事:一个推理系统到底什么时候算是在「做科学」,而不只是产出读起来像科学研究的文本。
他给的判据是闭环:系统自己构造对世界的表示,对计算或物理世界动手干预,撞上它控制不了的证据,修掉被证伪的部分,再把教训存成后续可复用的形式。文章开头放了一张 2024 年 4 月 8 日的日全食照片,隐喻很直接:智能只有在内部表示与不受它控制的东西相遇的边界上,才变得有科学后果。现在的 AI 开始通过工具行动,写代码、跑仿真、操控仪器、造实体物件,真正的问题是它的推理有没有嵌在一个能检测错误、修正自身的进程里。
文章把闭环拆成五个组件:
文章随后把课题组的一串系统摆进框架,说明闭环各段已经分别被关上。图到模型的链路最直观:一张蛛网照片,经 Gemini3-Deep-Think 推断出潜在 3D 拓扑,补全图像里看不见的几何,变成可以拉、压、断裂的可交互力学仿真,最后 3D 打印成实物;表示本身成了可操作的对象,每加一层约束,它就更科学一点。MechAgents、ProtAgents、AtomAgents 给 AI 计算物理的直接入口:写代码、跑分子或连续介质仿真、读报错、改公式,仿真变成推理过程本身的一部分。SciAgents、GraphAgents、MARS 把文献压进知识图谱,概念、机制、约束、证据成为可检查、可重组的显式对象;MARS 在 PFAS 替代任务里筛候选、纳入可制造性与专利约束,给出三层替代架构。Sparks 和 Builder-Breaker 进入开放式发现:Builder 提一个紧凑的世界模型,Breaker 专找能驳倒它的证据,修正只有通过一道 MDL 门才被接受。
压在框架之上的核心论点只有一句:科学的智能单位不是神经网络,是围绕它的推理时系统,包括模型能外部化的表示、能调用的工具、能抵抗它预期的验证器、能在本次运行后活下来的记忆。更强的模型改善环内推理,更好的科学架构改变环能学到什么。
这是立场文章,没有做新实验,所有数字引自课题组已发表的工作:
| 系统 | 闭环环节 | 结果 |
| Builder-Breaker | 修正 | 约 150 步提议中,被接受的修正把总描述长度从约 2350 bit 压到约 2020 bit,被拒提议记录下哪类表示动作失败 |
| 蛋白质 B-factor 研究 | 表示修正 | 在候选符号描述里搜出定量关系:残基柔性同时取决于局部弹性柔度与集体模态参与,单独哪一个都不够 |
| MARS | 带约束的设计 | PFAS 替代架构:超薄 OTS 疏油涂层、EVOH 阻气层、柔性 POE 基底 |
| 图到模型 | 干预 | 单张图片生成可交互物理仿真,导出网格并 3D 打印(Gemini3-Deep-Think、GPT-5.6-Sol、Fable) |
B-factor 那条最有味道:系统扩展了初始假设的表示基,交回的不只是一条拟合公式,是一条改变下个问题提法的机制。局部软不够,全局组织也不够,柔性来自两者的交互。
对做 agent 系统的人,五组件可以直接当检查表用。多数「AI 科学家」演示缺的是外部约束和累积记忆这两块:管线里没有能真正驳回模型的东西,跑完一次也不留下改变下次起点的结构。
两个判断要单独拎出来。一是数据内生化:系统自己选择下一步仿真或测量什么,证据是探索策略的产物,数据集偏差变成探索策略偏差——系统可能对收集到的每条观察都推理正确,却因为总挑方便、便宜的区间而建出扭曲的理论。二是工具即本体论:没有循环载荷,力学记忆就不可见;没有断裂仿真,裂纹动力学进不了解释;选工具就是选理论,工具决定哪些差异能变成证据。
Scaling 的视角也讲得干净:如果每次运行都从同一个预训练模型出发、结束于一次性文本,更多推理只买到更多次尝试;如果每次运行都改变科学环境,存下一条可信关系、一条验证过的代码路径、一块被证伪的区域,后续推理就从不同的认识状态出发。这就是文末说的累积式机器科学。
文章自己承认,没有任何单一系统完整关上这个闭环,现有例子各闭合其中几段。读的时候还要留意三点。其一,这是立场文章,源自作者发在 X 和 LinkedIn 上的博客,15 条参考文献里 14 条来自同一课题组,框架是为自家工作搭的叙事骨架,对领域里其他路线(比如自动化实验室一脉)几乎没有着墨。其二,MDL 门只保证压缩得更好,不保证物理上更正确,更短的描述照样可以是错的。其三,文章点出了 Duhem-Quine 问题(假设永远连同验证器的辅助假设一起被检验),也明说验证器的权威「真实而临时」,但没给解法,而这恰恰是闭环里最难工程化的一段。