精读笔记
Problem Setting
这篇论文的真实问题是 SDL 的“算法-实验系统集成成本”而不是单点材料优化性能。材料探索里的 planner 很少能单独工作：它必须面对离散配方、设备可达性、batch 约束、失败实验、人工介入、legacy 控制软件，以及不同实验目标之间的切换。以前很多系统把 orchestration、device control、optimizer 绑定在一个技术栈内，短期可用，但一旦换硬件、换目标、换算法，就会出现重复集成。关键矛盾是：材料实验目标高度多样，实验执行层高度异构，而现有闭环软件通常要求二者通过较厚的程序接口深度耦合。NIMO 试图把这个矛盾降维成一个稳定的中间表示：候选池 + 文件交换。
Motivation
已有路线不够的地方在于，它们通常默认“有一个工作流系统，再插一个 BO 包”。这对标准连续黑箱优化还可以，但材料 SDL 的实际目标常常不是单目标最大化：可能是找 target window、找 phase boundary、构建 property-space 覆盖、处理 ordinal preference、或者在组合薄膜这种一次实验生成一条 composition spread 的约束下做决策。另一方面，实验室已有设备往往不是 Python-native，甚至靠 Visual Basic 或厂商 GUI 驱动。作者的核心观察是：如果 AI planner 的接口仍然是复杂 Python API，那么 SDL 很难跨实验室复制；如果搜索空间仍然由 optimizer 连续生成，那么非法实验和约束处理会持续污染闭环。因此缺口不是“再做一个 BO”，而是一个能承载多目标探索范式、同时对硬件栈保持无知的薄接口。
Core Idea
NIMO 的核心思想是把材料探索重新建模为离散候选池上的选择问题。用户预先枚举所有可执行实验，把物理可行性、组合约束、设备限制、领域启发式、变量离散化全部写入 candidates.csv；AI 只在这个集合上做 ranking / acquisition / sampling。这个建模改变很关键：约束不再是 optimizer 的附加项，而是数据空间本身的边界；实验知识不再通过复杂规则系统进入 planner，而是通过候选行的存在与否进入 planner。
第二个核心思想是用 CSV 作为最小充分协议，把 AI 层和执行层彻底解耦。这个设计看起来工程化甚至“土”，但对 SDL 很有效：它牺牲了 in-memory API 的优雅性，换来语言无关、设备无关、人工可读、易调试、可接 legacy 的强鲁棒性。本质区别在于，prior SDL framework 多数试图统一 orchestration stack，而 NIMO 只统一 decision boundary；它不控制实验世界，只规定 planner 与实验世界交换什么状态。
Method
1. 文件交换闭环：Selection 读 candidates.csv 并写 proposals.csv；Evaluation 由机器人或人工执行；Update 将结果写回候选池。它解决的是跨语言、跨设备、跨工作流的接口稳定性问题。核心变化是把闭环状态持久化为文件，而不是绑定在某个 Python 进程或 OS 内部对象里。
2. 离散候选池：所有可行实验先被 materialize 成表格行，未测目标留空，已测目标作为训练数据。它解决的是非法 proposal、混合变量和复杂约束问题。核心变化是把 feasibility checking 从运行时 optimizer 迁移到 search-space construction。
3. 统一算法接口：所有算法都接受同样的候选池输入并输出 proposal 行索引。它解决的是不同探索目标下算法切换成本高的问题。核心变化是算法从“特定 workflow 的组件”变成“同一行选择协议下的可替换 backend”。
4. 多算法组合：PHYSBO/BOMP/NTS/COMBI/PTR/BLOX/PDC/RSVM/DOE 等覆盖不同探索范式。这里的贡献主要不是发明这些算法，而是把它们放进同一个 operational abstraction 中，使目标变化不必导致 SDL 重新接线。
Key Insight / Why It Works
最重要的 insight 是：在真实材料 SDL 中，可靠闭环往往比最优 acquisition function 更稀缺。NIMO 有效不是因为它提出了一个新 optimizer，而是因为它找到了一个足够低维、足够稳定的接口抽象。CSV + candidate pool 把很多难以形式化的问题变成数据管理问题：哪些实验可行、哪些组合合法、哪些参数必须共享、哪些变量是 categorical，都可以在候选池层面处理。这是一种 better inductive bias：planner 被强约束在实验者认可的 action space 内，减少闭环中最致命的非法动作。
真正的核心贡献应归因于 representation alignment，而不是算法创新。候选池把 AI 的 action representation 与实验执行系统的 recipe representation 对齐；proposal 中的 row index 又提供了 traceability。这种 alignment 对 SDL 的价值很大，因为实验失败常常来自 action 表达不一致，而不是模型预测误差。
CSV 文件协议则更像 engineering minimalism，但不是肤浅工程。它把集成问题从“调用对方 API”降级为“共享一个状态文件”，使 legacy 设备和外部 OS 能接入。这里的 gain 主要来自 interface simplification 和 deployment robustness，而非 learning/scaling。
多算法库的价值在于覆盖目标类型，而不是每个算法本身的 novelty。PHYSBO、PDC、PTR、BLOX、RSVM 等大多已有文献基础；NIMO 的新增信息是证明它们可以共享一个 candidate-pool I/O contract。LLMEP 是最不稳的部分：文中说它可处理文本目标和复杂约束，但可靠性、可复现性、失败模式没有充分说明。它更可能是 retrieval/heuristic reasoning + prompt engineering，而不是可验证的长期实验规划。
Relation To Prior Work
NIMO 最接近三条路线：SDL orchestration frameworks、BO/active-learning libraries、以及材料信息学中的离散候选池优化。与 ChemOS、IvoryOS 等相比，NIMO 不试图成为完整 workflow OS，而是更像 AI decision engine；它的不同点是把算法组合和候选池协议作为中心，而不是把设备调度作为中心。与 BoTorch、Phoenics、PHYSBO 等 optimizer 库相比，NIMO 不是更强的优化器，而是把多个 optimizer/active learner 包装到统一实验闭环语义中。
看似新的地方很多其实是已有思想重组：离散 pool-based BO、DOE 初始采样、phase-boundary active learning、target-range probability、ranking SVM 都不是新算法。实质创新在系统抽象：把这些异质算法约束为同一种“读候选池、选未测行、写 proposal”的操作。这属于 SDL 软件栈从 monolithic orchestration 向 decoupled decision layer 演化的一步。
Dataset / Evaluation
评价不是标准 benchmark，而是多真实系统 deployment。这个选择和论文 claim 是匹配的：NIMO 的核心 claim 是互操作性和可部署性，因此真实机器人/legacy/外部 OS 集成比离线 regret 曲线更有说服力。案例覆盖了电化学、合成、薄膜、制造工艺、图像分类式 phase mapping、legacy dispenser，说明 candidate-pool + CSV contract 具有较强跨场景适配性。
但 evaluation 没有充分支持“算法层面更优”的任何强 claim。文中没有统一任务上的算法对比，也没有系统 ablation：例如同一 SDL 中使用 direct API vs CSV、连续约束 optimizer vs candidate pool、单一 BO vs 多算法切换的成本/收益。很多案例更像 integration success stories，而不是 controlled empirical validation。NAREE 等案例显示闭环能找到好条件，但增益来源可能是自动化 throughput、已有 BO 能力、候选空间人工设计质量共同作用，归因不清。
Limitation
最大限制是 candidate pool 范式把问题转移给了用户。它避免非法 proposal 的代价是必须提前枚举 action space；如果空间连续、高维、组合数爆炸，候选池要么过大导致计算/存储/预测成本上升，要么过粗导致最优点被离散化误差吞掉。NIMO 的 scalability 上限不是 Python API，而是候选池构造与全池 scoring。
第二，所谓 generality 主要是 operational generality，不是模型泛化。NIMO 能接很多设备、换很多算法，但每个任务仍然需要用户设计候选表示、目标列、特征编码、约束离散化和实验更新逻辑。平台复用不等于科学知识迁移。
第三，闭环可靠性细节文中未充分说明。真实 SDL 需要处理并发写文件、实验失败、partial batch、设备中断、重复 proposal、数据版本、异步测量、多实验室冲突等问题。CSV 协议简单，但简单协议在复杂部署中需要 transaction/locking/provenance，否则会成为隐性脆弱点。
第四，多算法组合的上限取决于用户是否能正确选择目标范式。NIMO 提供 decision flowchart，但并没有解决目标误设定问题。材料项目中 objective 经常漂移、测量噪声非平稳、batch effect 强，单纯切换算法未必足够。
第五，LLM planner 的科学价值需要非常谨慎。文中未充分说明它如何防 hallucination、如何保证 proposal 合法性、如何评估文本目标下的决策质量。这里的“reasoning”很可能主要来自 prompt 中的上下文检索和语言先验，不应与可验证优化能力混同。
Takeaway
- 1. 这篇最值得记住的是接口抽象：把 SDL planner 限定为候选池行选择器，比试图统一所有机器人控制栈更可迁移。
- 2. Candidate pool 是强 inductive bias：它让领域知识以 action-space pruning 的方式进入 AI，比在 acquisition function 里硬塞约束更稳，但代价是组合爆炸和离散化上限。
- 3. NIMO 推动的是 SDL 软件架构演化，不是优化算法突破。
- 它的价值在于把已有 BO/active learning/ranking/objective-free 方法 operationalized 到同一闭环协议中。
一句话总结
NIMO 是一个把材料 SDL 从“算法和机器人深度耦合”推进到“候选池行选择 + 薄文件协议”的系统平台，真正贡献在可部署的决策层抽象，而不是新的优化算法。