"智能是必要的,但不充分":自治实验室、synthesis superintelligence,以及"科学发现按定义就是你没被训练过的东西"(Latent Space / Periodic Labs,2026-10-08)¶
- 嘉宾: Periodic Labs 两位联合创始人(⚠️ 转录稿只播报了名、没有姓:"Liam" 与 "Doge";后者在稿中另有一处作 "Dar")
- ⚠️ 本库此前在 Beren Millidge 那期 记过"Periodic Labs 的 Liam 在推特上讲过早期训练极稀疏 1T 模型",与本期自述的 OpenAI 背景一致,但本库不据此补姓。
- 主持: Latent Space 两位(⚠️ 姓名均未在转录稿中播报;可辨认的是其中一位自述"我从金融来,做过 Gaussian copula"([00:35:24])、另一位自述"我此前和湿实验室密切合作过""我从生物学那边来"([01:01:36]、[01:06:42]),并提到本频道的"science pod"第二期嘉宾是 Heather Kulik([00:34:21]))
- 来源: YouTube · 85 分钟 · 录制于 Periodic 实验室现场
- 转录稿: sources/latent-space/20261008-YHiqVRxGViM
⚠️ 人名与术语还原(自动字幕,本库按上下文还原,均为高置信度):Dirac → "Dra"/"Dak"、Kohn–Hohenberg 定理 → "con honing theorem"/"Honenburgg"、Kohn–Sham → "postto sham"/"cone sham"、Landauer 极限 → "land hour limit"(稿中把提出者误作 "Landau",按内容应为 Landauer)、Maxwell's demon → "Maxwell Zimmerman"、Ising 模型 → "icing model"、Kolmogorov 复杂度 → "commal complex lexity"/"commod complexity"、atomistic → "automistic"、ångström → "instrom"、N³ → "incubed"、nickelates → "nicolates"、cuprates → "coup"/"couprates"、MgB₂(二硼化镁)→ "magnesium ium diporide"/"MGB2"、Heather Kulik → "Heather Kulic"、Alex Müller → "Alex Mueller"、Bardeen → "Bardin"、Mercouri Kanatzidis → "mercury canis"、Chris Wolverton(正确)、Phil Anderson(正确)、Harold Hwang → "Harold Huang"、Elad Gil → "Ilad Gil"、pymatgen → "pimean"、JAX-MD → "Jack MD"。
⚠️ 本库无法确定还原的六处,一律照录并标为存疑:① 那位"中子网络注意力的发明者"字幕作 "Dimma Bahenda",而主持人接话作 "that bad attention"——⚠️ 按"Bahdanau attention"这条线索指向 Dzmitry Bahdanau,但转录稿的拼写无法逐字确认,且稿中同一人后文又被写作 "Ry"/"Rey",本库不裁定;② 实验室负责人字幕作 "Joe Chaoski"(自述 MIT 教授、休假全职加入);③ 那位计算材料学家字幕作 "Muratan Aikol";④ 开源贡献者字幕作 "Abijit Gangan"(torch-sim 作者、JAX-MD 维护者);⑤ 发现 MgB₂ 的那个日本组字幕作 "Takito group";⑥ 主持人问的那个模型代号字幕作 "GVT8"(同句另有 "Fable 6")。另 "Megatron" 一处出现在开源贡献清单里,与上下文(材料计算栈)不符,本库不引用。
✅ 本页认为这是本库在 AI for science 这条线上收到的最重要的一期,而它的价值集中在四处本库此前完全没有的东西:① ⚠️ 一条把"为什么光有智能不够"讲到机制层的论证——而它不是哲学表述,是"RL 环境从哪来"这个工程问题的答案;② ⚠️ "按世界状态打时间戳"这条 RL 环境构造法,以及它针对的那个具体失败模式(fake work)——本页认为这是全期最可迁移的一条;③ ⚠️ "full autonomy 是一个 non-goal"——一家自治实验室公司主动给自己的自动化划了边界,而理由是数据而不是技术;④ ⚠️ 一条对"推理时计算能不能替代训练"的反证,而它来自实验室外部:"如果推理时推理就够了,所有前沿实验室都会在 GPT-4 那里停止训练。"**
⚠️ 利益相关:两位正在宣布一轮大额融资([01:09:44],主持人点出、嘉宾确认),且正在向半导体行业做商业化(第七节)。⚠️ 所以本期关于"自治实验室有效"的判断有直接商业相关性,而本页注意到一处:全期没有给出任何一个具体的材料发现成果。 ✅ 但本页同时认为他们的限定密度高于平均:对 DFT 的局限、对量子计算的祛魅、对人形机器人的否定、对"零样本做出室温超导"的否定,都是主动说的。
概要¶
- ⚠️⚠️ 本期的论题就是公司网站上那句话,而主持人正是从这句话开场的([00:01:01]):"智能是必要的,但不充分。新知识是在想法被发现与现实一致时创造出来的。" 他的问题是"这听起来这么直白,为什么它却不是显然的?"
- ⚠️ 而嘉宾给的展开是本页认为全期最该被长期引用的一段([00:02:01]):"你不能只靠思考就想到一个解。宇宙太复杂了,为了真正推进知识的前沿,你需要先造出这些猜想,然后真的去看它成不成立。再怎么重读那本教科书或论文、再怎么只是思考、消失在一个房间里,都不可能让你把所有可能的实验结果——预期的和非预期的——想清楚。你真的需要这个迭代过程。"
- ⚠️ 落点是一条关于"涌现"的主张:"这就是我们从一开始就说,我们需要有 AI 系统、有物理世界的仿真,但同时也要建起物理的高通量实验——我们认为一种不同类型的智能会从那里涌现出来。"
- ⚠️⚠️ 而把这条论证收口的那句话在最后出现,本页认为它是全期最锋利的一句([01:01:36]):"即使 Fable 7 变得真的很好、比今天还好得多,你仍然必须跑实验才能拿到结果。原因是:机器学习非常擅长它被训练过的东西,而科学发现几乎按定义就是你没被训练过的东西。" ⚠️ 他们给这条下的落点是实验室的定位:"这就是我们建这些实验室的原因——好让无论开源模型还是闭源模型都能用这些实验室去拨弄这个宇宙,因为我们不觉得你能在不尝试的情况下做出一个大发现。" 主持人的接话是:"不会有人零样本搞出室温超导。"
- ⚠️⚠️ "按世界状态打时间戳"这条 RL 环境构造法,本页认为是本期最可迁移的一条([00:13:05]–[00:14:05]):
- 做法:"随着我们攒起一大篮子实验数据,你可以把它想成给世界的状态打时间戳。你可以说:到这个日期为止,我们的实验证据是这些。然后你就能构造 RL 环境,问:给定那一批实验证据、给定这些选项,科学家接下来做的选择是什么?或者那个实验的结果是什么?"
- ⚠️ 而它针对的失败模式说得非常具体:"如果预训练模型已经把其中一些数据背下来了,然后你再在上面做强化学习——如果它已经知道答案,而你构造的 RL 任务依赖那个答案,它就会假装在工作(fake work)。" 机制:"因为它已经知道答案了,所以它其实不需要做那些难的物理推理,不需要真的去做计算、做仿真,它就能到达正确答案;然后你强化了那个策略,你把那些推理策略的权重调高了——而那些推理策略不会泛化到新系统上,所以对我们没用。"
- ⚠️ 他们由此主张一条结构性优势:"随着我们攒起这些实验数据篮子、把东西缝起来、拥有完整的谱系(lineage)与整个过程,这给了我们构造新类型环境的能力——而那些环境在别处根本不可能有。"
- ⚠️ 而这条在收尾处被压成一句口号,本页认为值得单记([00:59:36]):"总体目标是:与其在科学的最终产出上训练,你是在做科学的过程上训练。" ⚠️ 主持人当场把它接到 RSI 上——"这很像你会在 RSI 上做的事:让一个模型训练出更好的模型;现在你是让一个模型去做出更好的实验,但区别是它不回流到核心模型里";⚠️ 而嘉宾补了一个更大的回路:"除非你开发的物理模型在改进芯片,而芯片又改进 AI——这就是那个更大的轮子。"
- ⚠️⚠️ 对"推理时计算能不能替代训练"的那条反证,本页认为是本期最该被 LLM 训练流程 引用的一条([01:00:36]):"把一切压缩进权重这件事仍然非常有价值。如果推理时推理就够了,所有前沿实验室都会在 GPT-4 那里停止训练,然后说好,从现在起我们只在推理时的改进上变得很强。"
- ⚠️ 他们对"科学与数学/代码到底差在哪"给的三条差异,本页认为这是全期最该被长期引用的工程清单([00:04:02]–[00:06:04]):
- ⚠️ ① RL 环境的来源变了:"我们的强化学习环境字面上就从我们物理实验室的环境里导出,我们的数据来自我们的物理实验室——而这是我们的终极真值。只针对某些论文或教科书里已知的答案做优化是不够的,因为我们要走到那之外。"
- ⚠️ ② 不确定性下的决策:"当你针对数学做优化时,它有很高的精确性,你并不真的在处理方差、不确定性或异常测量。而那对我们的过程非常关键——比如我们在做材料发现回路时,东西从炉子里出来是不带标签的,连打标签这个过程本身都可能是随机且带噪的。" ⚠️ 他点的三个具体来源:不同机器之间会有偏差、遥测不足("我们以为跑在这个温度,但其实温度差了一个 delta")、以及"一种能吸收这些带噪数据、像科学家那样做出聪明决策的智能,是一套不同的推理策略"。
- ⚠️ ③ 样本效率是硬约束:"我们在显著地把规模做上去,但这和一个数字环境非常不同——那里你可以任意地加更多环境或更多 rollout,我们没有那种能力。"
- ⚠️ 而他们明确说共性也很大:"标准的 mid-training 强化学习、工具使用 agent 的构造、方差缩减、确保 infra 在训练与推理之间没有错配"——这些都是共通的。
- ⚠️ 他们对"最优推理策略可能不一样"给了一条很克制但很重要的判断([00:10:05]):"做数学、做理论计算机科学的最优推理策略,可能不是做科学的最优推理策略。" ⚠️ 而配套的那条观察是本页认为全期最该被 评测 引用的一句([00:09:04]):"当前很多改进都集中在数学、代码和理论计算机科学,因为那对 LLM 更容易。但在现实生活里,大多数需要智能的事情其实更像科学——有不确定性、有大量噪声、有大量缺失的上下文,而你必须当那个智能体,想出接下来做什么。"
- ⚠️⚠️ "full autonomy 是一个 non-goal"是本页认为本期最反直觉、也最该被记住的一条([00:52:32]):"但归根结底,我们想从实验室拿到的是巨量的数据、高质量的数据、多样的数据。那些才是我们的目标,而完全自治是一个 non-goal——我们是把自动化用在服务于那些数据目标上。"
- ⚠️ 而他们对人形机器人的判断很干脆([00:51:32]):主持人提了"你是不是该直接弄个人形机器人塞进去",回答是 "我们的看法是,解决人形机器人其实会让我们更慢地达到我们的一些目标。" ⚠️ 主持人当场说明了自己为什么问:"很多人在炒人形机器人。"
- ⚠️ 他们给的自动化优先级判据很实用:"如果有某个很 tricky 的灵巧性任务,人类做得非常好,而你得花几个月去自动化机器——也许就别在那儿花大量时间。更有希望的是那种非常例行、占掉科学家和技术员大量时间、而且容易自动化的事。所以这里头有一种务实主义。"
- ⚠️ "每一台设备都要有 140 IQ"这句口号的来源与机制([00:47:30]–[00:48:31]):主持人说这是他最喜欢的一句引语并问是什么意思。⚠️ 起因是瓶颈:"早期在扩规模时我们意识到,光是操作机器就带来了巨大的瓶颈。" 他们先试了程序化采集("一个很简单的程序,取一个视场、拍下来、放大、再拍下来"),⚠️ 结论是 "就是不太有用……对我们真正想要的东西来说有点太笨了"。
- ⚠️ 于是转向把 AI 系统直接建到机器上,"现在它们有完整的上下文知道我们想达成什么:这个实验的意图是什么?我们想合成什么?还有哪些别的实验证据?"
- ⚠️ 而他们给的理由本页认为是这一条的真正落点,而且它又回到了数据:"如果你能在实验发生的那一刻做更智能的数据采集,那么你为未来 AI 系统和未来计算预测准备的数据就会好得多——你会有一套更丰富的数据。这就是我们说的,实验室里的每一样东西都必须极其智能,就为了让数据尽可能有用。"
- ⚠️ 他们指认的那个"从一开始就认定的最大瓶颈"是自动化表征,本页认为这是本期最该被当作判据的一条([01:04:38]):"从一开始我们的假设就是,最大的瓶颈之一是自动化表征——因为混粉末去试东西其实不难,但如果你没法表征它、分析它,然后智能地决定下一步该是什么,你从随机混粉末里其实得不到多少好处。"
- ⚠️ 而本期给出的那个"AI 抓到了硬件装载错误"的案例,本页认为是全期最具体的一条一手证据([00:53:32]):"我们有一个步骤在某个时候出现了周期性误差,因为其中一台机器被装载错了,模式对不上。AI 读这些东西时说:按跑的内容,这不符合预期;然后它纵向地看这一篮子数据,意识到如果我做这个循环置换、把它反过来,一切就一致了。然后我们就能回到物理基础设施,搞清楚装载时犯了一个错误。"
- ⚠️ 他们由此给出的那条判断:"在物理世界里做 AI,管理数据质量是如此基础。"
- ⚠️⚠️ "文献的噪声底比 DFT 还差"是本页认为本期最该被回填的一条事实性断言([00:53:32]):"降低实验数据的噪声底非常重要。文献里大多数实验数据的噪声底如此之高,以至于它通常比 DFT 的精度还要差——因为不同的人做实验、不同的实验室、世界上不同的地方、不同的时间,这给结果引入了太多波动。" ⚠️ 而他们的指望就是标准化([00:54:32]):"我们希望通过标准化这些工作流,最大的好处之一会是噪声底被降下来。"
- ⚠️ 负结果这条线本页认为是本期对 AI for science 最实在的补充([00:56:34]–[00:58:36]):
- 定义:"一个零结果可能是:我们本想做出某个结构,而所有证据都指向我们没做出那个结构。" ⚠️ 他们确认会常规做阴性对照(主持人问"你会故意不去做出某个结构吗",答 "当然")。
- ⚠️ 而发表偏差那条机制说得很干脆([00:57:34]):"在机器学习里,如果你没有负样本,你其实没法训练——而这在材料科学里是个特别糟的问题,因为人们通常只发表他们能合成出来的晶体,而通常不发表他们没能合成出来的。" ⚠️ 再加一条更根本的:"而且我们其实永远不知道一个晶体是不是永远不可合成"——主持人接的是"也可能只是个 skill issue",嘉宾确认并补了"或者是方法问题、技术问题"。
- ⚠️ 主持人指出的那个反转本页认为很有价值([00:58:36]):"如果你全部自己做,你大多数结果其实会是负的而不是正的,这挺讽刺的,因为文献只给你正结果。所以如果你是冷启动,问题其实是反过来的:你有一堆负结果而正结果不够。" ⚠️ 嘉宾的修正是一个关于标注粒度的回答:"如果你按每个实验打标签,大多会是负的;但如果你按每个 campaign 打标签,而且假定 campaign 在我们成功时结束,那就可能更平衡一些。" ⚠️ 主持人的收口是本页认为最该记住的一句:"所以你的推理轨迹几乎可以是跨整个 campaign 的。" 嘉宾的回应:"这是关键的一点。这类数据在别的任何地方基本上都不存在。"
- ⚠️ 他们对"为什么我们还没有完美的仿真器"给的回答,本页认为是本期最该被当作科普骨架的一段([00:15:06]–[00:18:09])。见下文第三节。
- ⚠️ 通往超导的那条路径论证本页认为是本期最该被核查的一条([01:22:55]–[01:23:55]):主持人立了一个 steelman——"假设你 100% 实验室自动化、表征全对、agent 什么都能做,我还是不太清楚你究竟怎么走到超导,因为对大多数强关联或高温体系根本没有理论模型。"
- ⚠️ 而他们的回答是把难点从理论挪到合成:"我们的看法是,想出可能承载超导的化学空间并不难,真正难的是把它们合成出来。这就是我们如此强调 synthesis superintelligence 的原因。"
- ⚠️ 他们给的历史对照是本页认为最有说服力的部分:Alex Müller 当年认为过渡金属氧化物可能是通往超导的路——他先试了镍酸盐(nickelates),没成;然后试了铜氧化物(cuprates),成了,拿了诺奖。"但后来我们知道,镍其实也是个好主意——镍和铜就挨在一起,3d 过渡金属就那么几个。" 而他们的一位斯坦福教授(⚠️ 字幕作 "Harold Huang")后来意识到可以把镍酸盐做成薄膜形态并展示超导性。
- ⚠️⚠️ 而那个 MgB₂ 的例子是本页认为全期最该被引用的一条,因为它把整套论证压成了一个可计量的主张([01:23:55]):二硼化镁"是常压下温度最高的常规超导体",⚠️ 而那个日本组(字幕作 "Takito group",本库无法还原)"就是靠试一大堆材料发现的——我想他们试了 3 万种不同的东西,其中 30 种看起来承载有意思的超导性,而 MgB₂ 是其中之一"。关键在于:"二硼化镁作为一种前驱体在人们的架子上放了几十年,而 BCS 理论早在 1957 年就被提出了。所以人们找到这些材料的方式不是直接从理论来的,也不是因为在那之前合成不出来——就只是他们试了一大堆东西。"
- ⚠️ 落点那句话本页认为是本期的题眼:"现在想象一下,如果我们有你描述的那种完美自动化,而我们在一个月里试完那个组在他整个职业生涯里试的 3 万种——我们就是大幅增加了运气的表面积(increase the surface area for luck)。"
核心观点¶
一、⚠️ 为什么"智能不充分":一条机制论证,而不是一句口号¶
- 论题与那句网站引语见上文概要([00:01:01]–[00:02:01])。
- ⚠️ 团队构成被他们当作论证的一部分([00:03:01]):"这样一个团队从来没有存在过。我们试图把固态化学家、固态物理学家、实验学家、理论学家、硬件工程师、LLM 专家、计算机科学家聚在一起。" ⚠️ 他们强调了其中几项技术有多新:"高通量实验、机械臂也就是最近三年左右才被试过;力场(force field)的专长里,有些力场也非常新。"
- ⚠️ 他们自己给的历史类比是贝尔实验室:"历史上最接近的例子是贝尔实验室这种地方——不可思议的理论学家、实验学家和化学家在一起工作,达成了不可思议的成就。我们在这里试着做同样的事。" ⚠️ 本页标注:这条类比在第七节被他们自己接到了商业化上,而那里他们主动提到贝尔实验室"确实未能把一些不可思议的进展商业化"。
- ⚠️ 主持人在这里点了一条本页认为值得记的结构性观察([00:02:01]):"值得注意的是,在 OpenAI 和 Google 这样的大实验室里你没有这些资源,所以你必须出来自己干——因为你是在边走边发明自己的 playbook。" 嘉宾的回应是 "我是说,这样一个团队从来没有存在过"。
- ⚠️ 而本页认为这一节最该被长期引用的是那条"科学必须做降维"的论证([00:06:04]–[00:08:04]):
- ⚠️ 与代码/数学的对照是干脆的:"每一个科学实验都必须做某种降维,而这和写代码或做数学非常不同。做数学或代码时,所有上下文都可以摆在人或 LLM 面前:一堆公理、人们从里面推出的推论、一堆函数和 API 调用。你需要推理的每样东西都在你手上,你只需要非常聪明、把它想出来。"
- ⚠️ 而物理不是:"在物理里,我们一开始就有比我们能存进计算机的更多的原子。所以显然我们必须从表示一个系统的原始维数和比特数,降到我们能塞进计算机的比特数。"
- ⚠️ 他们给的正面例子是热力学,而本页认为这个例子比论证本身更有用:"我猜这本来就是热力学的原始前提。他们最初对蒸汽机怎么工作非常困惑,但结果发现你能找到五六个热力学变量,就把发生的事解释得相当好——这太不可思议了,这就是物理的美。你有一屋子原子,这屋里有 10²³ 或 10²⁷ 个原子,可你只需要温度和压强这些简单变量,它就在大多数情况下告诉了你需要知道的大部分东西。"
- ⚠️ 而落到实验上,那个投影是有损的:"比如你做出一种材料,你可以去看它的 X 射线结构——而这个东西是一个非常有损的投影,它其实不是结构,也不告诉你真实的结构,它告诉你的是那个结构的一些主成分。"
- ⚠️ 他们给的那份"实验不确定性来自哪里"的清单本页认为是本期最具体的一手材料([00:09:04]):
- 炉子会退化:"因为你在用炉子的过程中,你烤的一些东西会蒸发、覆盖在加热元件上。所以每次你用炉子,它就变得越来越差。"
- 炉内温度不均匀:"所以你把东西放在炉子里的什么位置会影响结果。"(⚠️ 他们说"我们还没有这个问题,但也许某天会有")
- ⚠️ 光学仪器怕振动,而他们给的那个博士期间的例子很具体:"我记得读博时有个实验室有这个大问题,因为有时他们的结果和别的时候非常不同——他们最后定位到:夜里某个时间点楼上有人会走动,而那个振动影响了激光装置。"
- 落点:"所以科学非常难,但这正是它特别的地方。"
二、⚠️ RL 环境怎么在物理世界里构造:本页认为本期最可迁移的一节¶
- "按世界状态打时间戳"与它针对的 fake work 失败模式见上文概要([00:13:05]–[00:14:05])。
- ⚠️ 他们先解释了为什么最朴素的做法不可行([00:11:05]):主持人问的是"你怎么定义奖励函数,当你的输出是一个带噪的晶体结构"。⚠️ 回答是直接否定那个朴素形式:"与其把 RL 环境想成'我们就是启动一个实验、等几天、然后试着更新:你有没有找到一个室温超导体'——那完全不可行。" 理由三条:"你没有足够多的 agent 去充分缩减方差";"rollout 的时间花在不同仪器之间来回,你在等";"合成或炉子时间有一些物理极限。所以就是太慢、太吵。" ⚠️ 主持人的类比是 "你不能让你的 GPU 闲坐一周"。
- ⚠️ 于是他们的做法是把回路切开,而表征这一段被挑出来做成环境([00:12:05]–[00:13:05]):
- ⚠️ 发现回路先被拆成三步([00:10:05]–[00:11:05]):① 先搞清楚要做什么——"原子凑在一起的稳定性,以及我们是否预期它有我们想要的性质;我们不只想要一个新颖的原子构型,我们要它们凑在一起时有我们关心的那个性质";② 怎么合成它——"即使你知道某个东西能稳定存在,真正把它做出来的加工条件是高度非平凡的";③ 表征——"东西做出来不带标签,所以你必须去表征它、搞清楚你做出了什么。"
- ⚠️ 而表征这一段的奖励定义很干净:"RL 环境相当直接:你会奖励对实际存在的相(phase)的正确识别;你会惩罚虚假的相、或者那些没有任何真实化学合理性的东西。"
- ⚠️ 他们顺带点了为什么这一段是正确的切入点:"这也让我们能快得多地推进,因为如果你跑这么多实验,你会非常快地在'理解你产出了什么'这件事上形成瓶颈。"
- ⚠️ 而"怎么把有限的数据篮子扩成训练量"这条本页认为是本期对 评测与基准 最有用的补充([01:07:43]–[01:08:44]):主持人问的是实验室怎么 scale、生物那边能做的标记/测序式放大技巧这里有没有。
- ⚠️ 回答把放大从物理挪到了数据视角:"我们基本上开始在所有不同仪器、所有这些不同 campaign 上产出数据。而一种你可以开始扩展它的方式是:RL 环境可以再次基于日期来构造。或者你也可以开始取仪器的子集,说好,我们要只基于这一台仪器来创建 RL 环境,或者跨这几台不同仪器去达到某个奖励状态。"
- ⚠️ 落点:"所以这是一条路——这个有限的数据篮子,在用不同方式看待时,可以为训练目的被扩展开。" ⚠️ 主持人的准确概括是:"所以它没有碰到实际的实验运行,但从 ML 的视角上(扩展了)。" 本页认为这条限定必须和上面那条一起引用。
- ⚠️ 物理放大的那两个具体技巧本页照录,因为其中一个被明确说成没成功([01:08:44]–[01:09:44]):
- ⚠️ 组合溅射(combinatorial sputtering):"你有这些溅射靶,创造出一个成分梯度。所以当你看最终产物时,因为每个前驱体都有梯度,它在不同空间位置形成不同的晶体。一次就可能试了几百上千种晶体。" ⚠️ 而结论是否定的:"就我所知,这到目前为止效果不太好,因为结果发现有扩散性——东西会到处跑。"
- ⚠️ 池化测超导(他们还没做):"超导测量是个瓶颈,因为不像 XRD,没有高通量的(超导)测量,一次测量可能要一小时。所以人们想过把不同候选全混进一个样品里放进去,如果它有超导性,你就知道其中某个源有——有点像当年人们做 COVID 检测那样。" ⚠️ 他们的限定:"这类想法是存在的,有些效果好,有些不好。"
- ⚠️ 搜索算法这一问本页认为答案比问题更有信息量([01:06:42]):主持人问"物理世界里有什么好用但在别处不好用的,或者反过来——比如演化式搜索在 LLM 里挺流行,我猜在这里不太行"。
- ⚠️ 回答是反过来的:"尤其在仿真里,人们用演化式搜索已经很久了。比如它在结构预测上相当好用,用来找低能量结构。" ⚠️ 他还点了半导体工业界的对应物:"半导体行业的工艺工程师会做 DOE(实验设计),他们常用某种零阶方法——无论是贝叶斯优化还是演化式搜索;我不觉得他们用 RL,但想法类似。"
- ⚠️ 而主持人那句玩笑式的收口本页认为值得记:"反正所有零阶优化行为都一样,对吧?"
三、⚠️ 为什么还没有完美的仿真器:本页认为本期最该被当作骨架的一段¶
- ⚠️ 主持人的问题本页认为提得很好,而他自己也标注了身份([00:14:05]–[00:15:06]):"我从非科学家、但偏工程的那边来,熟悉 ML 这侧但不熟悉物理这侧。问题基本上是:我们不是已经把物理定律大体搞定了吗?以及为什么我们还没有完美的仿真器?"
- ⚠️ 回答先给了一个历史对照,而他们自己对它的真实性打了折([00:15:06]–[00:16:07]):"有一个很常见的故事:1920 年代末 Dirac 在搞清楚量子力学时写了一本量子力学教科书,他把它表述成'这一切都完成了';然后有一句人们爱引的话——我其实不确定它有多准确——据说 Dirac 说'剩下的是化学'。" ⚠️ 他们给的解读是:"意思是他能解氢原子……他也许能解一维氢原子链,但他当时解不了比如氮和氧的相互作用。但那没关系,那只是化学。" 主持人的插话:"物理学家真的很爱单原子那种极简系统。"——"那是你唯一能解的。"/"球形奶牛。"
- ⚠️⚠️ 而他们对这条的反驳是本节的核心,本页认为这是本期最该被引用的一条判断([00:16:07]):"但结果发现,我认为这是我们在过去一百年里学到的:首先,那不是真的。它不是把只做氢原子的事情做一个简单外推,而且剩下的也不只是化学——那里面其实有大量的物理。"
- ⚠️ 他们点的那些具体的"还不懂"本页认为是本节最有用的清单([00:16:07]–[00:17:07]):
- 高温超导:⚠️ 他们先纠正了术语——"人们说高温超导时,他们意思是非常规超导。常规超导主要是电子-声子耦合驱动的",⚠️ 而判据是同位素效应:"如果你取同一个体系,只把其中一种元素换成不同质量,你会看到超导温度按你预期的速率下降——那个就是常规的。" ⚠️ 而铜氧化物不是:"像铜酸盐这种 77 K、93 K 的更高温超导体,结果发现不遵守那套物理,但我们不知道它们遵守什么物理。它们就是不可思议的超导体。"
- ⚠️ 而他们明确说这不止一处:"但不只是这个。还有那么多别的我们不理解的东西。比如,连简单量子力学系统里的强关联我们都还不能仿真。"
- ⚠️ DFT 的局限被点得很具体:"密度泛函理论是个非常强大的工具,它在某些事情上精度惊人;但只要有强电子关联,它实际上就没能捕捉到一些效应。"
- ✅ 他们自己的落点是乐观的:"有那么多要搞清楚的,这就是我为什么对 AI 被应用到这个领域非常兴奋——因为在理论上、计算上和实验上都有那么多要搞清楚,而我们在这里做的每一点改进都应该改善人类生活,因为我们越能理解材料、固态物理,我们就能为它们做出更好的器件。"
- ⚠️⚠️ "更多就是不同"这条本页认为是本期与深度学习最有交叉价值的一段([00:18:09]):他们引了 Phil Anderson 的 "more is different"——"基本意思是:你可能理解某样东西所有的基本定律,但当你把很多个加在一起,它们的行为与简单物理该告诉你的在性质上完全不同。"
- ⚠️ 而他们主动把这条接到了深度学习上,本页认为这是全期最该被记住的一条类比:"所以理解很多东西怎么一起行为——看起来好像应该很简单,因为起始定律很简单,但集体行为复杂到真的很难建模。它是涌现的、而且是普适的,这很疯狂。而我们在深度学习模型上也在看到这个:我们到处看到幂律,我们不理解它,但它非常让人想起物理里那种涌现与普适性。" ⚠️ 主持人补了一句"物理界有很多关于神经网络中涌现的理论论文",嘉宾的回应是"绝对的,是的"。
- ⚠️ DFT 到底是什么、以及它的误差在哪,本页认为这一段的技术交换值得完整保留([00:31:19]–[00:36:24]):
- 定位([00:32:19]):"密度泛函理论大概是材料领域最常用的仿真方法。它来自 Kohn–Hohenberg 定理,Kohn 为此拿了诺贝尔奖。" ⚠️ 机制说得很清楚:"量子力学非常贵,因为每个波函数你基本上有一个指数大的希尔伯特空间……Kohn 和 Hohenberg 意识到,结果发现你不需要处理那个指数空间,你要做的只是考虑电荷密度——至少对量子力学系统的基态是这样。" ⚠️ 他们强调它的简洁:"这个定理其实挺简单,我想连物理系本科生都能理解,但想法是:一个量子力学系统基态的所有性质都是电荷密度的一个泛函——这很惊人,因为电荷密度只是这个三维的对象,而希尔伯特空间和波函数是指数的。" 再加上 Kohn–Sham 波函数给出了"一个带某些近似的、求解材料量子力学性质的实用办法"。
- 形成焓与稳定性([00:33:20]):"我们想问这个材料拥有的能量是多少,因为如果那个能量高于这些原子能够形成的其它材料,那这个材料就不太可能被做出来。所以稳定就是指它落在其它材料及其能量的凸包(convex hull)上。"
- ⚠️ 主持人给的高层概括,嘉宾接受并做了一处重要修正([00:33:20]–[00:34:21]):主持人说 DFT 是"把在电子数/系统尺寸上指数难的东西,用引入的某些误差近似地降到大概 N³"。⚠️ 嘉宾的修正是本页认为这一段最该被记住的一条:"DFT 按定义不必是一个近似——Kohn–Hohenberg 定理表明它可以是精确的。但如你所指出的,交换关联泛函我们还拿不到;而对基于电荷密度的模型,我们不知道动能泛函是什么。"
- ⚠️⚠️ 而他们紧接着给了一条"即使 DFT 完美也还需要实验室"的论证,本页认为这是本期最硬的一条:"而且即使我们有完美的 DFT,我还是认为我们需要一个实验室——因为即使我们有完美的 DFT,我们也没法把 10²³ 个原子塞进计算机。" ⚠️ 主持人当场调侃"你对这件事很执着",而他承认了。
- ⚠️ 本页认为这里的交叉引用非常有价值:主持人引了本频道第二期嘉宾 Heather Kulik 的那句"材料界没有 AlphaFold——不只是在计算上没有,而是真值本身就不存在:我们并不真的知道材料晶体结构长什么样",并说 "而 DFT 大体上是我们通往那里最好的路线"([00:34:21])。⚠️ 而嘉宾的自评是本页认为最该被引用的一句限定:"我个人不知道有什么更好的方法来预测一种新材料的稳定性。它肯定不完美,但它肯定比我能想到的其它方法好。"([00:36:24])
- ⚠️ "为什么不能只靠扩大 DFT"这条本页认为是本期最该被回填的一条技术限定([00:36:24]–[00:38:27]):主持人问得很准——"仿真让你能快得多地扩规模,因为算力比新实验室更容易上线。那你怎么避免模型过度索引在 DFT 上、而仍然锚在现实上?"
- ⚠️ 回答给了两条硬限制:① 微结构——"即使我们能做 1 亿次 DFT 试验,我们也永远没法真的试它们的微结构。微结构是说,DFT 通常仿真完美晶体,但晶体通常其实并不完美,而它们在中等尺度上的结构能真正影响性质。";② 有些性质根本仿真不了——"比如超导温度就不能被 DFT 轻易仿真。所以即使你做 1 亿次 DFT 试验,也还是不够。" 落点:"所以我们必须依赖启发式、实验等等。"
- ⚠️ 他们给的互补机制本页认为很实用([00:38:27]):"长期以来,materials project——那个最好的开源 DFT 数据库——对 DFT 使用实验校准。他们会真的用实验数据去校准 DFT。我们内部也这么做:只要有某个我们感兴趣的化学体系,你拿到实验、拿到仿真,你就能校准它们。" ⚠️ 而那个筛选是人机混合的(主持人问"是人主导还是 LLM",答 "可以是混合")。
- ⚠️ 他们对仿真的总体定位([00:36:24]):"我们觉得仿真光靠自己永远不够,但在仿真、AI 和实验的回路里,我认为我们能比以前快得多地推进。"
四、⚠️ 表征的歧义怎么被压下去:先验 + 多模态¶
- ⚠️ 相与相变那段科普本页只记骨架([00:21:10]–[00:22:11]):从冰融化/水沸腾起手("你提高冰的温度,它还是看起来像冰、行为像冰,但在某个温度它就停止升温,然后变成液体"),再到 Ising 模型("自旋有上有下……在足够高的温度它们通常只是随机朝上朝下,熵赢了;你降低温度,它还是看起来一样,但到某一点它们突然开始完美对齐")。⚠️ 他们点了相变为什么对研究者好用:"相变很好,因为它让物理学家研究某些东西时日子更容易——它们往往有某些空间关联,那对我们真的有帮助。"
- ⚠️⚠️ 而本页认为这一节的真正价值在于他们对"现实没那么干净"的承认([00:22:11]–[00:23:12]):"但在一个典型的实际材料发现 campaign 里真正发生的是:当你第一次试某个东西,它不работает,而且结果不是一个清楚的是或否,通常是一个非常混合的相。它通常会有一些前驱体,可能有一些非晶相,然后还会有一堆你可能根本没想做的相。"
- ⚠️ 他们由此说明了为什么这件事难:"所以那变成一个挑战,这也是我们发现把仿真和 AI 结合起来做表征非常困难的原因。" ⚠️ 而两条具体的互补动作值得记:"仿真总能说:哦,这个相看起来不像我们预测的,但是它的预期变体;让我现在对它做力场计算,看它是否还稳定。";"或者 AI 可以说:基于这一个之前的实验,这大概不是我们想做的那个相,所以让我们改变条件。"
- ⚠️ 还有一类更硬的情况([00:23:12]):"有些情况下,有一个相此前根本没被记录过,它不存在于任何论文或数据库里。所以 AI 必须真的去用这些工具说:什么样的原子构型才能解释这些相?"
- ⚠️ 主持人在这里提了一个很好的追问,而回答否定了他的概括([00:24:13]):主持人的假设是"你处理不确定性的部分答案是:你把你的可观测特征做得相对无歧义,那里没有解释空间"。
- ⚠️ 而回答是 "我认为很多这些情况里仍然有歧义",并给了一个反例:"两个不同的相其实不可能与同一个图样一致"(⚠️ 本页标注:这句在字幕里表述不完整,本库照录但不据此下论断)。⚠️ 他们给的真正解法是化学直觉:"这就是为什么系统用一些化学直觉非常重要——去说,好,考虑到合成条件、考虑到这些先验知识,这会是高度不可能的。所以那可以被用来帮助消歧。"
- ⚠️⚠️ 而那条关于先验与多模态的回答,本页认为是本期最该被 AI for science 引用的方法论([00:25:15]):
- ⚠️ 先验的排序很明确:"热力学是最大的先验,然后物理是一个大的先验。"
- ⚠️ 多模态是第二条:"另一条我们在这里真正受益的是多模态、或者说材料表征。比如我们可以做 XRD,是的,有些相在 XRD 图样上可能看起来相似,但我们也可以测它们的电学性质、磁学性质,我们可以测它们的形貌、比如某种电子显微。然后一些在 XRD 上看起来相似的相,在这些维度里的某些上就会看起来不同。"
- ⚠️⚠️ 而他们给 AI 的定位是本页认为全期最该被引用的一句,因为它把"超级智能"定义成了一件很具体的事:"而 AI 在这里真的很有帮助,因为人类的上下文和计算能力也是有限的。如果你同时给人类 10 种不同的模态,说把这些一致地分析一下,那有点困难;但对 AI 来说这其实不算超级智能,它很擅长。" 另一位的接话:"超级智能就是它能做这么多计算、能看这么多东西。"
- ⚠️ 落点回到"不确定性下的决策"([00:26:15]):"现在它是在把跨许多不同仪器、纵向跨不同实验、跨重复样的信号缝起来,得到这个底层的更好的模型——而不是只过度索引在一台仪器的一次测量上。"
- ⚠️ "你会不会扔掉数据"这一问的答案是明确的否,本页认为这里的澄清很重要([00:26:15]–[00:27:15]):主持人的问题是"你在某个点必须扔掉数据"。
- ⚠️ 回答是 "我们不扔掉数据",并澄清了自己之前那句话的意思:"我之前的意思大概是:如果上帝在观察这个实验,实验里的数据比人类能塞进计算机的更多。不幸的是我们凡人没法观察所有原子。所以即使有比我们能存的更多的数据,我们其实也拿不到那些数据——比如我没法追踪所有原子的位置。所以不幸的是,我们仍然处在一个'我们收集到的任何数据都非常宝贵、我们一点都不删'的状态。"
- ⚠️⚠️ 而另一位给的那个与 AI 侧对照的类比,本页认为是全期最有迁移价值的一条([00:27:15]):"连接到 AI 那侧的一个想法是:想想对一个基础模型做线性探针(linear probing)。这个模型有所有这些数据,所以上帝有材料在做什么的完整图景;而实验是这个很小的线性探针,它只有大概八个比特的输出。所以你是在把这个巨大的东西粗粒化成一点点信息,然后现在轮到——传统上是人类的工作、现在是你的 agent 的工作——从那八个比特里重建出里面实际在发生什么。" ⚠️ 主持人的接法:"就像模拟电路,你没法对每个参数权重、每个激活有完全可见性,你拿到的是某种子集、或者整体上的某些粗粒化特征。"
- ⚠️ Maxwell's demon 那段本页只记存在与落点([00:28:15]–[00:29:16]):他们复述了第二定律、妖的思想实验,以及"(Landauer)提出的论证是你删除信息必须花能量……而他删除信息时必须花能量,这就保证熵增加"。⚠️ 落点是对主持人问题的定位:"虽然我们还没到能当 Maxwell 妖的层次,但我认为你的问题对一个'我们存这么多数据以至于必须删掉一些'的未来非常有远见。" ⚠️ 而主持人澄清他本来没想那么远,他的问题只是"为什么你不干脆把世界上每种传感器都买来、荒谬地过度仪器化、过度重复一切"——回答是 "哦,我们就是这么做的"。([00:29:16])⚠️ 补充的机制:"我们加入巨量的遥测,而这基本上减少了隐变量的数量。"
五、⚠️ 材料 vs 生物:一条本页此前没有的复杂度论证¶
- ⚠️ 主持人的问题是本页认为本期提得最好的一个([00:38:27]–[00:39:27]):"我和很多生物学家朋友聊过,当你说材料领域不能靠一个 XRD 结构就真的知道结构时他们总是很困惑——因为在生物世界里你可以看蛋白质的晶体结构,通常能以亚埃级精度重建出来。材料的 XRD 和生物世界的差别在哪?你丢掉了什么信息?"
- ⚠️⚠️ 而回答给了一条本页此前完全没有的论证,而且嘉宾自己先声明了它听起来很怪([00:39:27]):"回答这个问题很难不听起来像疯子,但你不觉得有机化学和生物几乎源自一个更低的 VC 维、更低的 Kolmogorov 复杂度的模型吗?你几乎可以把它表示成一个一维序列,而它几乎可以被编译。所以在某种意义上,它在 Kolmogorov 复杂度的意义上更简单。"(⚠️ 主持人当场提出"大多数人会说它更像二维",嘉宾的回应是"好,我不是生物学家,所以他们肯定对"。本页两条并记。)
- ⚠️ 而无机晶体这边的对照是本页认为最该被引用的一段([00:39:27]–[00:40:27]):"而无机化学完全不是来自这么低复杂度的模型,因为三维无机晶体可以承载金属、绝缘体、超导体、钻石——真的疯狂地不同。人们试过,但我们从来找不到一个一维表示。要为三维或无机晶体找到一个 SMILES 字符串非常难。而原子之间相互作用的方式也相当奇怪:共价键、离子键、金属键。"
- ⚠️ 他给的那个具体对照本页认为很有说服力([00:40:27]):固态电解质为什么替代不了液态电解质——"会形成这些枝晶(dendrites),基本上锂会形成这些结构、钻进固态电解质里把它裂开。你看着这个会想:这和生物相比太原始了。在生物里这些系统能做出如此复杂的纳米技术级的进展,而我们连让两个界面彼此配合都做不到,因为锂会把它弄坏。"
- ⚠️ 而他主动给了反向的那一半,本页认为这条平衡很重要:"但我猜无机的东西可以非常耐高温,你能造航天飞机、能造硅来计算、摩尔定律。所以这是个权衡。"
- ⚠️ 主持人补的那条解释本页认为与上面那条是互补的([00:41:28]):"在我心里一个大差别是,生物里我们有一套可以直接借用的工具箱——借自几百万年的演化,它已经给了我们所有工具,我们只要复现它们。" ⚠️ 嘉宾的接话给了一条限定:"而演化也把蛋白质之类的 VC 维约束得相当低。像细胞这种大尺度系统的涌现行为可以复杂得多。"
- ⚠️ 而那条"即使完美晶体,XRD 也不唯一确定结构"的技术说明本页认为必须保留([00:41:28]–[00:42:28]):主持人问"如果你有完美晶体、打 XRD、拿到谱,那仍然不能唯一告诉你晶体结构,对吗"——⚠️ 回答是 "不能",理由是"它只是平均行为"。⚠️ 他给的例子是歧化(disproportionation):"有可能你有完美晶体,平均看起来像这个完美的 XRD,但现实里有另一种模式在发生——比如原子稍微向右或向左移,但平均它们在中间。" 收尾:"是的,生活不易。" ⚠️ 而蛋白质那边的对照:"而蛋白质你基本上知道底下有某种蛋白质、遵循某种规则,所以你可以把一个前向模型和它结合起来",再加上单晶 XRD 能帮上忙。
- ⚠️ "哪个学科最难"这个比较本页认为嘉宾的拒绝比主持人的结论更该被记住([00:42:28]–[00:43:28]):主持人回忆科学播客开张时有过一场"哪个更难的攀比",并说"我觉得你可以做出科学论证说材料科学是最难的"。
- ⚠️ 而嘉宾两条都没接:"我们选它并不一定是因为难。" ⚠️ 以及一条明确的反向指认:"其实有很多领域它更容易。我们对一大类材料有这些很好的仿真器,而在生物里给一个细胞、一个器官或一个完整有机体建模难得不可思议。所以我认为那是一个巨大的优势。"
- ⚠️ 主持人自己点出的那个结构性怪异本页认为值得记:"有意思的是,在最小的层面上它是一维或二维的,但接着它有多出好几个数量级的尺度和结构,而那才真正引入了复杂性。" 嘉宾的限定:"材料在不同长度尺度上你仍然会得到不同的复杂性——微结构以及更上面。"
六、⚠️ 梦想材料、Landauer 极限,以及一次对量子计算的祛魅¶
- ⚠️ 主持人给了一个"科幻清洁剂"式的问题([00:43:28]):假设你能发明任何材料,什么最有价值——他自己的清单是室温超导体、比锂离子更好的电池("那东西已经待了大概一百年")、碳纳米管(主要为了太空电梯)。
- ⚠️ 嘉宾给的清单本页认为比主持人的更有信息量([00:43:28]–[00:44:28]):
- 超导体(明确)。
- ⚠️ 磁体,而限定条件很具体:"尤其是如果能降低对稀土、或者像钴这种难获取的过渡金属的依赖——比如减少电池里的钴。"
- ⚠️⚠️ 而第三条是本页认为本期最该被 AI 基础设施 引用的一条:"我认为一件非常根本重要的事是,如果我们能把计算的能效做到接近 Landauer 极限。"
- ⚠️ Landauer 极限这段本页认为值得完整记,因为它给了一条可核查的量级([00:44:28]–[00:45:28]):
- 趋势:"如果你看我们每一次计算(每 flop)花多少能量,它遵循了摩尔定律式的行为,指数地变得更高效。"(⚠️ 他自己打了折:"我最近没查,这是 10 年前的情况。")
- ⚠️⚠️ 而主持人给的那个量级是本页认为最该被核查的一条:"我第一次了解到它的时候,我们离它大概有 10 到 20 个数量级什么的。而我上次看的时候,我们离得怪异地近——大概在三四个数量级之内。" ⚠️ 本页标注:这是主持人自述的回忆、且他自己用了"大概""什么的"这类限定,本库记为未核实的量级印象,不作为数据引用。 嘉宾的解释是"指数在很多年上展开是相当惊人的"。
- ⚠️ 而他给的意义是散热([00:45:28]):"我们必须做的一件事是散热,因为这些计算在发生时会产生热,这必然发生,但接着我们必须把它散掉。所以如果我们能把计算效率做到接近 Landauer 极限,那对人类是了不起的——因为那意味着我们在做计算这件大概是人类最根本的事情之一时,从能量视角上尽可能高效,而能量是宇宙里真正的货币。"
- ⚠️⚠️ 而那次对量子计算的祛魅,本页认为是本期最该被单独记住的一条立场([00:45:28]–[00:46:30]):
- ⚠️ 他先对可逆计算做了区分,而且主动承认了自己的边界:"它肯定会被可逆计算影响,但老实说我不是专家,我不理解。如果你能做可逆计算,那你其实不必花能量去做计算,因为你没有真的删除任何信息,它是可逆的。但我不知道那行不行。量子计算我假设它必须以某种方式遵守这些定律。"
- ⚠️ 主持人引了一条本库此前没有的第三方立场:"我和 Elad Gil 最难忘的一次对话之一是,他其实对量子计算非常怀疑——他说即使你今天就有了它,也没有应用。" ⚠️ 而他自己的保留是"它会破掉安全性,我总是说那就是(应用)"。
- ⚠️⚠️ 而嘉宾的附议是本页认为全期最锋利的一次祛魅,因为他把它接回了本期的主线:"我同意那个。比如人们谈如果你今天有一台量子计算机,你能把东西仿真得好得多;我就问他们,好,我们接受这点,那你会仿真什么?你还是在仿真完美晶体——即使 DFT 在预测能力上是完美的,你还是有 DFT 有的那些问题。"
- ⚠️ 他给的落点很平衡,本页两条并记:"所以我确实认为人们因为量子计算这么令人兴奋,而把一些东西略过去了……也许那没关系,因为也许一旦它被做出来,它会做出我们甚至想象不到的了不起的事情。"
七、⚠️ 组织、扩张与商业化:一家"neo-lab"怎么养自己¶
- ⚠️ 实验室网络这条扩张逻辑本页认为理由比结论更有意思([00:29:16]–[00:30:18]):主持人问的是"你不担心你全在加州吗?你不想在尼泊尔、澳大利亚做这个吗——因为显然重力、你在哪里是有影响的"。
- ⚠️ 回答确认了有多实验室的计划,但给的主要理由不是地理而是人:"专长也会变。比如这里我们有某些类型的专长——斯坦福物理系、工程系有某些类型的专长,这对我们真的有帮助,因为我们能从那里招人、我们的资源能协作。地理可以重要,但不同城市可以有不同的物理、化学专长组合。" ⚠️ 另一位的插话是 "我们有 Zoom 来干那个",而主持人坚持"你的实验会受你在哪里影响"。本页两条并记。
- ⚠️ 落点([00:30:18]):"periodic 的未来不是单一实验室……我认为必须有这样一个实验室网络,而且按专长或者材料约束,每一个都有一个最优的位置。"
- ⚠️ 而硬件自研这条线本页认为那个具体例子是本期最有说服力的细节([01:10:46]–[01:11:47]):
- 动机:"早期为了速度我们买一些现成仪器,而随着我们推实验室的规模……我们必须自己做。"
- ⚠️ 他们给的两类瓶颈:① 速度——"对这台仪器,它其实挺快、这些部件其实挺快,但这台称重机器实际上成了瓶颈";② 数据质量——⚠️ "或者可能有和数据质量相关的事:这个机械臂的休息位置其实在之前混好的东西的板子上方,所以有污染风险。所以在我们的硬件设计里,我们要重新设计,让休息位置离那些东西远一点。"
- ⚠️ 落点回到噪声底:"这些就是那种让我们能把实验 campaign 的噪声底往下压的微妙细节。"
- ⚠️ 他们对"新建实验室"的迭代逻辑([01:09:44]–[01:10:46]):"我们已经在门洛帕克(Menlo Park)最初的实验室里把这个回路验证出来了,但我们会继续扩展到新类型的实验室、重复同样的过程。" ⚠️ 他们自己的限定:"我们想建的这种实验室,我认为在这个规模上、用这种方法此前没被建过。所以我们从自己的建设里学到了很多,而那些教训指导我们做下一版、再下一版。"
- ⚠️ 招聘与组织原则这一段本页认为最该被记住的是那条"让有经验的人亲手做"([01:11:47]–[01:14:49]):
- 岗位构成:"AI 研究与基础设施、计算、实验、硬件工程,然后是产品岗。" ⚠️ 他们给的统一解释是目标而不是职能:"我们想达成 synthesis superintelligence,而为此我们需要对的化学专长、对的物理专长、仿真理论、薄膜、粉末。所以硬件工程这些看起来非常多样的岗位——它们确实多样,但它们在想做的事情上其实是连贯的。"
- ⚠️ 他们给的那条结构判断本页认为值得记([01:12:48]):"为了和物理世界做端到端的回路,它真的要求你有对物理世界的能动性(agency)——去建这些实验室、有效地跑这些 campaign、针对那个造 AI 系统、让它们成为计算工具的好用户。这既是 periodic 的困难,也是它的机会。这群人此前就是从没被聚在一起过。它是不可约地(irreducibly)一个多学科问题。"
- ⚠️⚠️ 而那条"亲手做"的原则本页认为是本期最该被 AI 实验室文化 引用的一条([01:13:49]):"对我们非常重要的一条指导原则是:我们想让那些非常擅长自己所做之事、有经验的人亲手做。现代生活把我们带到了这样一个地方——尤其在学术界,当某人在某个领域真的很擅长研究,我们就给他这么多写基金申请、教学的责任,以至于他们不再有时间在那个领域亲手做研究。" ⚠️ 而他们给的历史对照很具体:"但如果你回看贝尔实验室、IBM 这些取得了真正好进展的机构,那是很有经验的人在做亲手的工作——Bardeen 每天都在实验室里,尽管他是理论学家;Alex Müller 在做实验,尽管他是(实验室负责人)。所以我们在这里也试着这么做。我们有一些不同领域里的世界级领军者,但他们在做亲手的工作。"
- ⚠️ 他们点名的四个人本页照录为人员构成记录,姓名还原见页首([01:14:49]–[01:15:50]):计算材料学家(字幕 "Muratan Aikol",自述与另一位顾问 Chris Wolverton 做的博士);实验室负责人(字幕 "Joe Chaoski",MIT 教授、休假全职加入,"理解超导非常好,而且在日本做过一段教授,所以合成和化学也学得很好——对一个物理学家来说尤其如此");Daniel Chica(出自 Mercouri Kanatzidis 组,"也许是世界上最好的固态化学组","他手指像魔法师");⚠️ 以及那位领导 AI/LLM 工作的人(字幕 "Dimma Bahenda",被介绍为"神经网络注意力的发明者",主持人接话"那个 bad attention"——还原存疑见页首)。⚠️ 关于最后这位,他们强调的是亲手程度:"非常亲手地深入轨迹、训练分布、怎么把它连到实验室……他会深入下去。" ⚠️ 稿中还有一句"他过去在 OpenAI 带过一部分 operator 的工作",以及一段实验室参观逸事("我们起初以为这位新科学家、新技术员看起来很像(他),结果那字面上就是(他)本人在实验室里和科学家一起自动化机器")——本页照录但因姓名还原存疑不作为断言。
- ⚠️⚠️ 商业化这一段本页认为是本期最该被 AI 的商业与价值捕获 引用的材料,因为它是本库第一次看到一家 neo-lab 把自己的收入模式讲清楚([01:15:50]–[01:18:54]):
- ⚠️ 起点是"customer zero":"我们一直在为我们自己建我们自己的产品、工具、AI 和计算——我们一直是零号客户。现在我们在做的是把这些同样的工具带到不同行业,而我们现在有一个巨大的重点在半导体行业。"
- ⚠️ 而交付形态是 forward deployed engineering(FDE),理由是客户环境:"这些是非常私密的公司,我们需要能在一些最安全的环境里运作。所以我们的 periodic forward deployed 工程师与研究员会真的驻场工作,把我们的 AI 系统或计算系统集成进去,帮我们的伙伴更快到达他们的目标状态。" ⚠️ 他们明确对比了另一种做法:"而不是只是把某个技术扔过墙去、让他们自己想办法。"
- ⚠️⚠️ 而那条"拥有自己的智能"本页认为是全期最该被记住的一句商业主张([01:16:51]–[01:17:52]):"这些 FDE 还会在本地做推理,而且也能在数据上训练。所以一旦我们把理解这些不同领域的系统带过去部署,我们可以让它成为客户或伙伴数据上的专家,这样他们就能拥有他们自己的智能(own their own intelligence),拥有比只是打某个 API 或某个未经训练的模型理解得有效得多的系统。"
- ⚠️ 他们对这个岗位的要求比常规 FDE 更重:"这需要非常深的机器学习专长,你必须从数据训练视角、基础设施视角都极其精确,但也要有物理视角。所以我们在和高度技术性的行业合作,他们必须理解化学、材料科学、一些器件的不同领域。" ⚠️ 主持人的那句玩笑点出了落地现实:"部分要求是愿意长期驻场在台湾。"
- ⚠️⚠️ 而那条定价演化路径本页认为是本期最该被核查的一条预测([01:18:54]):他们用软件工程做类比——"软件工程早期我们有 GitHub Copilot,然后有早期版本的 ChatGPT,人们把这些当副驾驶用来帮自己拿到解;而随着自动化改进,现在我们有 Codex 这种东西,而我们很少有工程师还在用过去那种方式写代码。" ⚠️ 落点:"我们认为非常类似的事情也可能在 periodic 上演——你有系统去加速研究员、材料科学家、材料工程师、工艺工程师;但随着自治、智能和能力的增长,你可以开始对结果定价(price outcomes):帮我到达这种目标状态。我认为那对我们是一个真的很有意思的领域。"
- ⚠️⚠️ 而他们对"为什么要商业化"给的理由本页认为是本期最该被 AI 与教育 引用的一条([01:19:54]):"我们觉得我们对固态物理和科学最好的贡献,可能是如果我们让这些工具和课题变得有利可图——类似 ChatGPT 让 CS 和 LLM 专业在大学里比以前流行得多。我们很想证明固态物理、材料科学研究能在商业上产生大影响,然后那会吸引更多注意力,年轻人会想学物理,那会是一个梦想。"
- ⚠️ 贝尔实验室那条对照他们自己给了两面:"贝尔实验室确实产生了巨大的商业影响……他们当然也做了一些就是没法商业化的研究,比如宇宙(微波)背景;但他们确实从真空管、从用电话线把东岸连到西岸里受益很多。" ⚠️ 而他们主动点了那一半:"他们未能把一些不可思议的进展商业化。"
- ⚠️⚠️ 而"技术与资本深度纠缠"这条本页认为是本期最该被 AI 的商业与价值捕获 引用的论证,因为它给了一个可检验的对照([01:19:54]–[01:20:54]):"技术和资本是极度纠缠的。你看聊天机器人多年的进展——想象一下复述 2010 到 2015 年聊天机器人的进展,我们会说不出那五年里它们改进了多少;而如果你看 2021 到 2026 年这段,那是天壤之别。而发生的事情是:ChatGPT 和这些别的系统做到了产品市场契合,而它彻底改变了资本格局。这改变了招聘、算力、数据等等的格局。" ⚠️ 主持人的概括是 "成功孕育成功的良性循环",而嘉宾的落点是 "我们想在物理世界里达成同样的事"。
- ⚠️ 开源与学术资助本页照录为事实性记录([01:20:54]–[01:21:54]):主持人问的是"科学资助从政府基金转向 VC 和私人资本,你们打算把做的东西开源吗——数据集或者实际的模型"。
- ⚠️ 回答是 "绝对会",并给了已有的贡献清单:pymatgen、materials project 的代码库、custodian(他们的 DFT runner)、torch-sim("由我们这里的一位研究员创建、他仍在维护",⚠️ 姓名还原存疑见页首)、JAX-MD(同一人维护)。⚠️ 本页标注:稿中紧接着出现的 "Megatron" 一词与上下文(材料计算栈)不符,本库不引用。
- ⚠️ 另一条是学术赠与资助:"我们也有一个学术资助项目,给那些我们觉得真在推进 synthesis superintelligence 这个方向的大学学术组学术礼物资助。第一篇来自这笔资助的论文就快出来了。"
- ⚠️ 抽象层级那一问本页认为回答的坦率值得记([01:02:38]–[01:03:38]):主持人想要一张"自动化层级地图"(campaign 之上是不是一个在被检验的物理理论,之下是什么)。⚠️ 嘉宾明确说 "我觉得你问了个好问题,但我没有一个很系统的答案",然后给了四层:原子(atomistic)结构("这是一个抽象,我们做的任何东西都没有完美的原子结构,但它是一个近似")、连续介质模型("不再是原子的,而是一个代表材料的连续网格")、热力学("假设你永远做这个实验,最终状态会是什么")、动力学("承认我们不是永远做这个实验,所以时间重要:一个反应会多快发生,即使它是不是更低能量")。⚠️ 而主持人提的那一层被嘉宾接受为 "一个贯穿性的新理论进展,它会影响多个 campaign"。
- ⚠️ "人在回路里的哪一层"这一问本页认为答案的要点是它在移动([01:04:38]–[01:05:39]):"似乎可能是所有层:你有人在实验室里物理地搬材料,你也有科学家在引导关于哪个 campaign 的决策。" ⚠️ 而两条纵向变化被说得很具体:"即使只说 campaign 的指导,早期那完全是人驱动的,现在越来越是 AI 驱动和人驱动的混合";"表征早期是人驱动的,科学家非常不堪重负,而这个平衡已经显著地往 AI 驱动偏移了——这让那些此前把全部时间花在做这些精修(refinement)上的科学家,现在能把工作提升到别的东西上。" ⚠️ 他们自己的限定:"它真的是时间的函数,在每一层上都一直在变。"
- ⚠️ 延迟这一段本页认为主持人的惊讶和嘉宾的四条回答都该记([00:48:31]–[00:51:32]):主持人问"把智能放到每台设备上,现在的技术水平是什么"。
- ⚠️ 嘉宾给的第一条是延迟:"有云延迟,但也有设备端算力";⚠️ 而约束是物理过程的时间尺度:"不同物理过程有一个相关的时间尺度,如果调用一个 API 之类的就是太慢了——那么推理量、token 量或工具调用量就与那个实际过程的延迟不匹配,那就不可行。" 他们的类比是自动驾驶。
- ⚠️ 主持人当场表达了惊讶,本页认为这条交换很有价值:"我其实很惊讶听到这个,因为我想象推理的延迟相比很多这些要花几小时跑的东西应该很小。" ⚠️ 回答给了限定:"最终实验确实要花很多小时、很多天,但可能有特定的步骤延迟会重要"、"你可能想要更精细的控制"。
- ⚠️ 第三条是成本:"让这些模型分析数据很慢的同一个原因,也让它们非常贵。"
- ⚠️ 而第四条是人的耐心,本页认为这条最实际:"最后是人的耐心:如果一个人想要某个 XRD 图样的分析,而他们必须等两小时才拿到好结果,这和他们能在两分钟内拿到是非常不同的。"
- ⚠️ 他们强调这不是单次调用:"你不是对那个模型做一次调用,你可能在做非常非常多的 token 才得到这些模式"、"在回路里跑仿真"、"不是一次工具调用,不是一条推理线程,所以延迟可以膨胀相当多。" ⚠️ 而"多少延迟来自工具调用 vs 推理"这一问的回答是 "真的取决于过程",本页不进一步推断。
- ⚠️ 模型选择这一段本页认为最该被记住的是那条"数据换算力"([00:54:32]–[00:55:33]):主持人问的是开源微调 + 前沿模型监督这个心智模型对不对。
- ⚠️ 回答确认是混用:"我们基本上用开源模型和闭源模型的混合。在仿真侧、搭 ML 栈和仿真栈上我们是巨大的受益者,我们不需要在那个轴上推。"
- ⚠️ 但自训的理由有两条,而第二条本页认为比第一条重要:① "有很多领域延迟太高、成本太高";⚠️ ② "但在某些情况下,因为能拿到这些数据,我们其实可以推到这些系统能做到的前沿之外——即使在最高推理努力下。所以它不一定只是关于成本或帕累托效率,而是在某些情况下,当你能拿到别人没有的数据时,你可以推到它之外。"
- ⚠️⚠️ 而他们给的那个统一口径本页认为是本期最该被 LLM 训练流程 引用的一句:"一种描述这件事的方式是用算力效率:因为能拿到这些数据,你可以比某些前沿模型算力效率高得多,而这在我们的项目里是真正关键的一件事。"
- ⚠️ 主持人的收口与嘉宾的限定本页两条并记:主持人说"数据质量或数据获取作为算力的一个权衡……我觉得钟摆现在可能正在往数据那边摆";⚠️ 而嘉宾的附加条件是:"尤其是说到实验数据的噪声底——我们需要有高质量数据。如果你把巨量算力扔到一堆噪声上,不会有好东西涌现出来。"
- ⚠️ 主持人指出的那条额外难度:"而这对你更难,因为你主动试着做得稀疏——你其实在试着拿到零结果并从中学习。" 嘉宾确认。
八、其余几处,本页只做索引¶
- ⚠️ "材料界的 TSMC"这个设想本页认为嘉宾的保留比设想本身更该被记住([00:18:09]–[00:20:10]):主持人问能不能把"工艺"和"性质"分开、训一个"完美逆向工程任何工艺"的模型,并给了商业类比——"台积电是半导体的代工厂但不设计半导体,你可以做材料的台积电:人们带着'这是我想要的'来找你,然后你搞清楚工艺。" 另一位接的是 "像一个物质编译器(matter compiler)"、"非常星际迷航"。
- ⚠️ 而嘉宾的第一反应是降温([00:19:10]):"回到我们之前聊的'因为原子数比(能存的)多,我们永远不会知道发生过什么的确切上下文'——我认为那可能是我们永远无法完美逆向工程一切的原因。我们只是试着逆向工程到足以改善材料性能的程度。"
- ⚠️ 而对"这是个好目标函数吗"这一问,他的回答是 "我不知道,它太大了"([00:20:10])。⚠️ 但另一位把它接回了公司口号:"我们确实把我们的使命之一说成 synthesis superintelligence,所以我觉得这是一致的。" ✅ 本页认为这组交换值得保留,因为它显示两位对同一个设想的激进程度不同。
- ⚠️ "数学/理论物理的成果不能直接外推到物理世界"这条限定本页认为必须和本期的任何乐观一起引用([01:01:36]–[01:02:38]):"区分我们在数学和理论物理里看到的结果与物理世界真的非常重要。"/"这是两件非常不同的事。" ⚠️ 而主持人自己也做了身份声明:"作为一个此前和湿实验室密切合作过的人,我当然比一些人更怀疑零样本做出科学结果,但这是我觉得有些人可能会问的。" ⚠️ 本页标注:稿中紧接的一句"也许理论物理是……"表述不完整,本库不引用。
- ⚠️ 本期全程没有给出任何一个具体的材料发现成果。✅ 本页认为这是评估本期时最该记住的一条:所有关于回路有效的论证都是机制性的或方法论的,而唯一的一手结果性证据是那个"AI 抓到机器装载错误"的案例(第一节),它证明的是数据质量管控而不是材料发现。
⚠️ 本页的五条限定¶
- ⚠️⚠️ 本期没有给出任何一个具体的材料发现成果,而他们正在宣布一轮大额融资([01:09:44])、正在向半导体行业做商业化(第七节)。✅ 本页不认为这削弱了方法论部分的价值(那部分是可独立评估的论证),⚠️ 但"自治实验室这条路有效"这个结论在本期里没有结果性证据支持,本库不记为已验证。
- ⚠️ 几条量级/事实性断言全是自述或回忆,本库一条未核实:"文献实验数据的噪声底通常比 DFT 精度还差"([00:53:32]);⚠️ "我们离 Landauer 极限只有三四个数量级"([00:44:28],主持人自述回忆、且他自己加了"大概""什么的",本页明确不作为数据引用);"那个日本组试了 3 万种、其中 30 种有意思"([01:23:55]);"高通量实验与机械臂只在最近三年左右被试过"([00:03:01])。
- ⚠️ 页首列了六处本库无法确定还原的字幕拼写,其中两处影响理解:那位"神经网络注意力发明者"的身份(线索指向 Bahdanau attention,但稿中拼写无法逐字确认,且同一人后文又作 "Ry"/"Rey");发现 MgB₂ 的那个日本组。⚠️ 另有一处本页明确不引用:开源清单里的 "Megatron" 与上下文不符。
- ⚠️ 嘉宾对其它领域与技术的评价全部记为观感,不记为事实:量子计算"人们把一些东西略过去了"([00:46:30],⚠️ 他主动声明"我不是专家,我不理解");生物/有机化学"源自更低的 VC 维"([00:39:27],⚠️ 他自己先说"很难不听起来像疯子",而主持人提出的"更像二维"他直接让步了);人形机器人会更慢([00:51:32])。
- ⚠️ "按世界状态打时间戳"这条环境构造法的优势声明——"那些环境在别处根本不可能有"([00:14:05])——是一条竞争性主张,本库未核实。 ✅ 但本页认为它的论证(预训练记忆导致 fake work,而带谱系的内部数据能规避)是自洽且可检验的,值得作为一条方法论长期引用。