论文与实验验证· 科学证据 · Frontier
CASS 与 A-Lab:78 次自主合成调的是 NASICON 的相纯度,不是电导率
UC Berkeley 与劳伦斯伯克利国家实验室 Gerbrand Ceder 团队的机器人负责配料、烧结和 XRD,每次测得的物相与晶格参数都会改写下一次设计的代价函数;闭环里没有测过电导率。事后人工压片、测阻抗的六个样品中,最好的两个室温体相电导率达到 3.96 和 3.17 mS/cm,总电导率却只有 0.7 和 0.3 mS/cm,约为体相的 1/6 和 1/11。
●预印本 + 自主合成 + 人工电导率测量
当前边界:闭环能改善相纯度、有两个样品体相电导率高,这两点有测量支撑;没有同预算的对照,18 个「有潜力」是代理模型域内的判断,只有六个样品测了电导率
这项工作推进的是:让自主实验室用每次测得的 XRD 改写代价函数,据此设计下一次 NASICON 合成
- MODEL理解 / 预测
- DECIDE选择下一步
- INTERACT测试现实
- UPDATE改变下一轮

3.96 / 3.17 mS/cm两个样品晶粒内电导率
0.7 / 0.3 mS/cm同样两个样品整片电导率
人工测量的六个样品中最快的两个,室温下在烧结片上用阻抗谱测得。
- 认知更新
- 自主实验室能依据自测的 XRD 重新设计失败的组分:16 次再设计中,11 次相纯度持平或提高。
- 最强证据
- 电导率在闭环之外测:六个主相样品由人压片、测阻抗,其中三个在代理域内或附近。
- 关键限制
- 没有同预算的对照;18 个「有潜力」是按配方落进目标电导率窗口判定的,不是测量。
01发生了什么
- 任务
- 寻找相纯、钠离子导电快的 NASICON,其 M 位要从 15 种阳离子中混入至少三种。
- 方法
- 三项固定先验代价(热力学、结构、文献电导率窗口),外加每次 XRD 给出的两项(杂质、晶格参数),用遗传算法加局部搜索求最小值。
- 交互对象
- 机器人配料、湿混、1100 °C 烧结 12 小时、研磨、测 XRD;六个样品由人压片、测阻抗。
- 结果
- 成败由 XRD 纯度分判定;电导率域只按标称组分核对;另挑六个主相样品测了电导率。
78次合成:62 个初始设计 + 16 个再设计
23次以 NASICON 为主相
18其中标称组分在电导率代理域内或附近
6个主相样品人工测电导率(3 个在域内或附近)

2026 年 9 月 24 日,UC Berkeley 与劳伦斯伯克利国家实验室的 Rendy、Zeng、Ceder 等人在 arXiv 发布预印本(arXiv:2609.29344,80 页,含 35 页补充材料),介绍名为 CASS(cost-guided autonomous solid-state synthesis)的框架,以及用它在 A-Lab 中搜索 NASICON 型钠离子固态电解质的结果。论文尚未经过同行评审。[S1]
代价函数:三项先验,加两项实验反馈
每个候选组分用阳离子组成(不含 Na)和聚阴离子比例表示,Na 含量由电中性决定。三项静态代价在任何实验之前就已确定:热力学稳定性(用已发表的 NASICON 稳定性描述符训练线性 SVC,并把 Ehull 阈值放宽到 62.22 meV/atom,使文献中 524 个实验上已知的组分全部判为可合成);结构稳定性(给阳离子半径的标准差设上限,阳离子种类越多,上限越紧);以及电导率(由 484 组文献组分-电导率数据改编出一个「可能高电导域」,边界由平均阳离子半径、Na 含量和聚阴离子中心离子的平均半径划定)。[S1]
两项动态代价取自每次合成后的 XRD。杂质项的规则是:某种离子若出现在杂质相里,候选中它的浓度一旦超过上一次的目标组分,就要受罚。晶格参数项则把自动精修出的 NASICON 晶格参数,经微调的 Vegard 近似映射回组分,把下一次设计拉向实际形成的那个相。五项加权求和(四项权重为 50,杂质项为 1),先用实数编码遗传算法做全局搜索,再用 BFGS 局部收敛。[S1]
哪些步骤由机器自主完成
以下步骤由 AlabOS 调度、A-Lab 自主完成:按化学计量称取前驱体(加 10 wt% 过量 Na₂CO₃)、乙醇湿混、转移坩埚并烘干、机械臂装炉在 1100 °C 保温 12 小时、取样研磨、制 XRD 样并扫描。XRD 图谱自动上传,由 BGMN 做 Rietveld 精修、DARA 做物相识别,结果直接进入下一轮代价函数,CASS 据此给出下一个组分。[S1]
以下不是自主的:化学空间、代价项的形式和权重由研究者设定;首轮 62 个设计限定为 (SiO₄)₂(PO₄) 阴离子组成;第二轮从 24 个出现 NASICON 的样品中挑出 16 个,依据是实际考虑(排除 Sc 以控制成本,并凑成 8 的倍数,因为每台箱式炉一批装 8 个);测电导率的六个样品由研究者挑选,粉末经人工球磨、约 700 MPa 冷压、烧结到理论密度的 85% 以上,再装铟电极测阻抗,并用 GSAS-II 手工精修。论文自己也把「松散粉末需要人工致密化」列为当前的局限。[S1]
78 次是怎么算的
78 是合成次数(论文称 78 次试验、78 个尝试的组分),不是 78 种新材料:78 = 62 + 16。在 54 个组分空间里,每个空间最多合成两次(一次初始设计、一次优化)。首轮 62 个设计只用静态代价,其中 24 个(39%)能看到 NASICON 相,12 个以 NASICON 为主相(纯度分 > 0.7)。第二轮 16 个再设计中,11 个纯度持平或提高(不是 11 次提高),3 个变差,2 个没能在目标组分附近形成 NASICON。两轮累计 23/78 以 NASICON 为主相;再用电导率代价 πIC ≤ 0.025 核对它们的标称组分,其中 18 个(78%)落在代理域内或附近。这一步是计算,不是测量:论文摘要说 CASS「同时优化离子电导率和相纯度」,但电导率进入闭环的方式只有这个代理域,闭环里每次更新代价用的都是 XRD。[S1]
这 78 次没有任何对照:没有在同一空间、同样预算下跑过随机搜索、贝叶斯优化或化学家手工设计。论文认为,贝叶斯优化需要大量初始采样才能建立有用的先验,而 CASS 通常一到三轮就能达到满意的纯度;但这是论证,不是测量。数据集里还有前期测试各代价项时做的磷硅酸盐合成,共 281 个;这 78 个是其中着眼于电导率而设计的部分。[S1]

论文 Fig. 1:(a) 设计、合成与 XRD 表征的闭环,照片为 A-Lab 的配料混合、加热、粉末回收与 XRD 工位;(b) 第一次设计只用静态代价,之后每轮加入由表征得到的动态代价。Rendy 等,arXiv:2609.29344,CC BY 4.0;整图未修改。 [S1]
02改变了什么
流程更新瓶颈更新静态漏斗不吸收中途的实验反馈;贝叶斯优化用每次测量更新后验,但多用在已知组分附近。
先验与电导率目标域不变,每次 XRD 加入动态代价:杂质里的阳离子受罚,实测晶格参数牵引下一次设计。
论文的出发点是:静态筛选漏斗让候选依次通过固定的过滤条件,不根据中途的实验结果调整;贝叶斯优化会随每次测量更新它的后验,已成功用于调 NASICON 组分,但这些工作大多局限在已知材料附近。在已知固溶区附近,元素替代的性能地形平滑,适合标准高斯过程核;一旦要跨过新的相边界,地形就变得崎岖、非平稳:大片竞争相区里突然冒出目标相。CASS 的做法是不去拟合这块地形:三项静态先验(含电导率目标域)从头到尾不变,每次实验之后再加上由 XRD 得出的两项动态代价,局部修正可合成性的估计。[S1]
在只考虑可合成性的演示中,一次迭代就能看出效果:Hf-Zr-Ge 体系首次尝试 NaHf₀.₆₇Zr₀.₆₇Ge₀.₆₇(PO₄)₃ 只得到约 53 wt% 的 NASICON,杂质为 NaGe₂(PO₄)₃ 和 ZrP₂O₇;CASS 降低 Ge 和 Zr 后提出 NaHf₁.₀Zr₀.₈₉Ge₀.₁₁(PO₄)₃,得到单相产物。Hf-Zr-Ti-Ge 体系则从约 90 wt% 提升到单相。这两个起点组分是研究者有意选在溶解度极限之外的,不是由代价函数产生的。[S1]
纯度与电导率代理域相互掣肘
论文自己举了 Sn-Zr-In-Ti 体系的例子:再设计把纯度分从约 0.53 提到约 0.81,代价是组分被推出电导率目标域,πIC 从 0 漂到约 0.14。再设计为什么会失败,作者也写明了:在高维组分空间里,按 Vegard 近似,一组晶格参数对应的不是一个点,而是一整片解;所以在多相样品里初次看到 NASICON 时,πLP 无法唯一确定它的组成。作者建议接入自动化 SEM-EDS,对各相分别做成分分析。[S1]
瓶颈于是往下游移了一步。配方搜索可以自主循环,但要测电导率,得先把松散粉末做成致密片:两个最好的样品,室温总电导率约为体相的 1/6 和 1/11,差距出在晶界与致密化上,而这一步目前仍靠人工压片和烧结。论文明确说,后处理(致密化、烧结条件、粘结剂)没有优化过。[S1]

论文 Fig. 3:Hf-Zr-Ge 与 Hf-Zr-Ti-Ge 体系首次尝试(上)与 CASS 一次再设计后(下)的 Rietveld 精修,杂质峰明显减弱。Rendy 等,arXiv:2609.29344,CC BY 4.0;整图未修改。 [S1]
03为什么重要
配方搜索变便宜之后,自主实验室的预算该往哪里投?
- 下一步该自动化的是致密化与阻抗测量:两个最好的样品,总电导率约为体相的 1/6 和 1/11。
- 评价一轮闭环搜索,要看每次实验测出的性能,而不是有多少候选落进代理模型的目标域。
CASS 说明的是一件具体的事:在高维固溶体空间里,可合成性可以当作一个会被实验改写的代价,而不是一道事先设好的门槛。失败的合成不再只是白做的一次实验,而成了下一次设计的约束:哪些阳离子进了杂质,实际形成的相晶格参数是多少。[S1]
但对固态电解质来说,「做得出来」和「导得快」之间还隔着一整段加工。这篇论文里,合成与表征的循环跑在机器人上,而决定最终总电导率的压片、烧结和阻抗测量仍靠人工。如果目标是可用的电解质而不是可合成的组分,下一笔投入应该落在那一段;作者也把自动研磨与压片单元列为下一步。[S1]
评价上也一样。「18 个有潜力的组分」,判断依据是标称组分落在 πIC 代理域内;真正测了电导率的只有六个,其中一个紧挨目标域,却只有 0.01 mS/cm。一轮闭环搜索的产出,应当用实测的性能和每次实验的命中率来衡量。[S1]
04证据状态与边界
证据等级 4 / 5 · 在物理世界里被检验 · 闭环实验证据状态
已证实
- 23/78 次合成以 NASICON 为主相(自动 XRD 纯度分)
- 一次再设计让两个体系从多相变为单相
- 排序成立:最稳定的成功率 90%,不稳定度超 62 meV/atom 为 0%
- 「主相」不等于单相:两个最快的样品都含杂质相
边界
有迹象
- 预测代价越低,总电导率大体越高(仅六个样品,一个假阳性)
- 磷酸盐与磷硅酸盐的亚稳极限不同(约 15 与 41 meV/atom)
未知
- 同预算下随机搜索、贝叶斯优化或化学家的结果
- 18 个「有潜力」组分中大部分的实测电导率
- 优化致密化之后的总电导率
主张晶粒内部导得快,接近作者所引、经过优化的 NASICON 约 5 mS/cm 的体相值;压成片后,大部分电导率损失在晶界上。
最快两个样品在 25 °C 的离子电导率,mS/cm:体相对总(论文数值)
读法Hf-Zr-In-Ga 为 Na₃.₄Hf₀.₈Zr₀.₈In₀.₃Ga₀.₁(SiO₄)₂(PO₄),论文点明它是 CASS 的发现;Hf-In-Ga 为 Na₃.₅Hf₁.₅In₀.₄Ga₀.₁(SiO₄)₂(PO₄)。四个数都是室温值。-30 °C 重测只为把体相弛豫从约 4 MHz 移到约 1 MHz,分开体相与晶界;拟合把两者当作串联的电阻。两者活化能为 0.34 和 0.33 eV,由 -30 到 85 °C 的总电导率拟合得到。压片和烧结是手工做的,论文没有做致密化优化。
纯度是怎么测的。
纯度分来自自动 XRD:先算估计纯度 EP,即精修出的 NASICON 相积分强度占扣除背底后总强度的比例(未识别的杂质和精修不佳都会拉低它);再除以 20 个高纯校准样品得到的基准 78.33%,封顶为 1.0。如果精修出的晶格参数 a 或晶胞体积偏离 Vegard 预测的幅度,超过“模型不确定度 + 端元范围的 15%”,直接记为 0。纯度分 > 0.7 即定义为主相,这一阈值由敏感性分析确定,对应 NASICON 最强峰高于任何未识别次相的峰。所以「主相」不等于单相:两个电导率最好的样品都含 HfZrO₄、Na₂HfSi₂O₇ 或 HfO₂ 等杂质,XRD 与 SEM-EDS 联合分析还在每个样品里找到一个次要的 NASICON 型相。论文也承认,纯度只是间接得到了优化。[S1]
电导率是怎么测的。
六个以 NASICON 为主相的样品:粉末球磨 30 分钟,约 700 MPa 冷压成 6 mm 片,1050–1100 °C 烧结 1–2 小时后快冷,致密度超过理论值 85%;用冷等静压贴上铟电极,7 MHz 到 100 mHz 测阻抗,用含体相、晶界两个 R‖CPE 的等效电路拟合。室温下体相弛豫频率约 4 MHz,接近仪器上限,于是在 -30 °C 下重测,把它移到约 1 MHz,体相半圆随之清楚显现:低温测量是为了把体相和晶界分开,报告的电导率是室温值。Na₃.₄Hf₀.₈Zr₀.₈In₀.₃Ga₀.₁(SiO₄)₂(PO₄) 与 Na₃.₅Hf₁.₅In₀.₄Ga₀.₁(SiO₄)₂(PO₄) 的室温总电导率为 0.7 和 0.3 mS/cm,对应的体相电导率 3.96 和 3.17 mS/cm,也就是说总电导率约为体相的 1/6 和 1/11;活化能 0.34 和 0.33 eV,由 -30 到 85 °C 间若干温度点的总电导率做 Arrhenius 拟合得到(六个样品中做了四个)。作者用作比较的基准,是经过优化的 Na₃.₄Zr₂(SiO₄)₂.₄(PO₄)₀.₆,体相电导率约 5 mS/cm。[S1]
目标域的预测力只有六个点作依据。
六个样品中,三个在目标域内或附近(πIC ≤ 0.025),三个在域外。靠近目标域的三个里有两个导得快,但第三个 Na₃.₅Hf₀.₇In₁.₂Ge₀.₁(SiO₄)₁.₃(PO₄)₁.₇ 同样紧挨目标域,总电导率却只有 0.01 mS/cm;域外三个在 0.01 到 0.06 mS/cm 之间。所以这不是一条 23 → 18 → 6 的漏斗:六个样品是研究者按离目标域远近挑选的主相样品,只有三个落在 πIC ≤ 0.025 的范围内,论文也没有说这三个是否都在那 18 个之中。作者的结论是:「总体上」πIC 越低,电导率越高,偶尔会有假阳性;并推测那个例外可能源于阳离子尺寸失配过大,而这是模型没有刻画的因素。六个样品由研究者挑选,并非随机抽取;论文正文点明 0.7 mS/cm 的那个组分是 CASS 的发现,其余五个各自出自 78 次中的哪一次,正文没有逐一交代。[S1]
先验本身也经过了实验检验。
在 281 个磷硅酸盐合成上,热力学先验的分箱成功率单调下降:在凸包上(0 meV/atom)的组分 90% 形成主相 NASICON,中等稳定区间 37–40%,超过 41 meV/atom 降到 21%,超过 62.22 meV/atom 为 0%;结构畸变先验超过上限的样品成功率只有 6%。纯磷酸盐和纯硅酸盐的成功合成都在约 15 meV/atom 以下,低于混合阴离子的约 41 meV/atom。这些数据支撑了先验的排序能力,不过用的是作者自己的数据,评估也是作者自己做的。[S1]
数据与代码暂时查不到。
论文称全部 78 次合成记录在 figshare(doi:10.6084/m9.figshare.31829305),代码在 GitHub 的 CederGroupHub/cass。2026-09-26 与 09-27 两次核查时,该 DOI 和 GitHub 仓库都返回 404,逐次试验记录因此无从查阅;本简报的数字全部出自论文正文与补充材料。[S1]

论文 Fig. 5:(a) 六个样品的实测总电导率对 πIC:πIC 接近 0 的两个领先,但另一个同样靠近目标域,总电导率只有 0.01 mS/cm;(b-c) 两个快离子导体在 25 °C 与 -30 °C 的 Nyquist 图,低温下体相弛豫从约 4 MHz 移到约 1 MHz,体相半圆显现。Rendy 等,arXiv:2609.29344,CC BY 4.0;整图未修改。 [S1]

论文 Fig. 6:281 次磷硅酸盐合成对照两项静态可合成性先验;成功率随 Ehull 阈值和阳离子尺寸失配上升而下降。Rendy 等,arXiv:2609.29344,CC BY 4.0;整图未修改。 [S1]
05我从中学到什么
- 可迁移的洞见
- 只盯相纯度的闭环,找到的是做得出来的,不是导得快的:纯度上升了,组分却滑出了目标域。
- 设计启发
- 把每次失败的合成变成约束:杂质里的阳离子成为下一次设计的惩罚项。
- 阅读启发
- 看到「M 次实验找到 N 个有潜力的」,先问「有潜力」是测出来的,还是代理模型判的。
- 接下来看
- 其余「有潜力」组分的实测电导率,以及同样预算下的贝叶斯优化或随机对照。
可合成性可以是一个会被实验改写的代价
静态漏斗把可合成性当成一道门,CASS 把它当成一个会随观测更新的连续代价。这让一次失败也能提供方向:不只知道「不行」,还知道是哪几种离子跑进了杂质、实际长出的相偏向哪一侧。
闭环的边界就是自动化的边界
循环里跑的只有 XRD 能回答的问题:长没长出来、纯不纯。电导率不在循环里,它要等人把少数样品压成片再测。所以这个系统优化的是它能自己测到的东西,目标性能只通过一个代理域间接进入。
「在目标域内」和「导得快」之间有一个假阳性
三个靠近目标域的样品里,一个只有 0.01 mS/cm。六个点不足以估计这个代理域的命中率,但足以提醒:用代理模型数「有潜力」的候选,数出来的是模型的判断。
A-Lab 往前走了一步,但这不是对它的重新证明
本站的 A-Lab 条目记录过,它 2023 年的发现主张曾需要外部更正。这一次的检验标准不同:电导率是直接测得的物性,不取决于对「是否新颖」的判断。但这篇论文仍由同一团队自己设计、自己测量、自己评估,没有外部复现。
资料来源
文中事实尽量链接至原始公告、项目清单、试验登记或同行评审论文;研究计划与已完成结果分开记录。


