5.3 人工智能赋能物理前沿


5.3 人工智能赋能物理前沿

本节摘要:本节讨论人工智能在物理研究中的真实位置:它在哪里已经改变了知识生产的方式,在哪里被夸大,边界究竟画在哪条线上。我们依次考察四块阵地:符号回归从上千万个候选表达式中收敛出与手征有效理论一致的洛伦兹协变结构,大语言模型开始参与猜想生成;机器学习势函数把分子动力学推近化学精度,AlphaFold 的成功为物理学提供了"数据库改写提问方式"的先例;神经量子态以万倍参数效率逼近哈伯德模型基态,自动张量网络让键维度自主调度;最后我们给出分辨实质与泡沫的判据——可证伪、可迁移、可解释至少居其一。AI 是认知带宽的放大器,不是真理的仲裁者,这一判断贯穿全节。

本节地图

  1. 能说明符号回归区别于普通函数拟合的两点设计——量纲约束的语法树与帕累托前沿的模型选择——以及它们各自防的是什么病;
  2. 能解释机器学习势函数为何能把第一性原理精度的分子动力学从皮秒推向微秒,其代价与风险是什么;
  3. 能复述 AlphaFold 类结构预测突破对物理学研究方式的三点启示与两点不能推及之处;
  4. 能说出神经量子态与自动张量网络各自嵌入的物理先验,以及哈密顿量学习实验中噪声鲁棒性的量级;
  5. 能运用"可证伪、可迁移、可解释"三条判据,对一个具体的人工智能物理成果做出实质或泡沫的判断。

一、从拟合到溯因:符号回归与大模型猜想

2024 年 10 月,诺贝尔化学奖的一半颁给了蛋白质结构预测——一项曾经需要博士生数年结晶功夫的工作,被神经网络压缩到几分钟。物理学家围观这场颁奖时的心情值得玩味:嫉妒大可不必,因为结构预测的底层难题(从氨基酸序列折叠到三维构型)本来就不是物理学的悬案;但偷师是必须的,因为它演示了一件事:当建模环节被机器接管后,一个领域的提问方式会怎样被改写。本节要盘点的,就是这件事在物理学里已经发生到什么程度。

先从最老实的工具说起。传统计算物理的逻辑链是直线:物理学家凭对称性与守恒律写下候选模型,数值求解,再与实验比对。符号回归把这条直线折成环:只给数据,不给模型形式,让算法在由加减乘除、三角函数、指数对数与微分算子构成的符号空间里,搜索既满足量纲一致、又足够简洁的解析表达式。PySR 与 AI Feynman 是这一路线的代表。两条设计决定其成色:其一,语法树的每个节点携带量纲元数据,"质量加时间"这类节点在生成阶段就被禁止,搜索空间天然合法;其二,模型选择沿帕累托前沿进行——精度与复杂度同步优化,拒绝过拟合出来的漂亮公式。

成绩单有两类。一类是重建已知:把开普勒的原始数据喂给 AI Feynman,它输出的不只是周期平方正比于半长轴立方的经验律,还附带角动量守恒的推导路径;分析二维涡旋晶格动力学时,PySR 未被告知拓扑荷守恒,却自动归纳出总拓扑荷为常数。另一类更接近真实研究:欧洲核子中心 LHCb 实验的稀有衰变分析中,符号回归系统在一千万个候选表达式里收敛出一个洛伦兹协变的算符结构,其形式与手征有效理论的预言一致——注意这里的方向,不是用理论解释数据,而是从数据长出理论的结构,再与人类理论对表。2024 年《自然·物理》的一期专题为此提供了三个量化注脚:冷原子光晶格中,人工智能辅助的哈密顿量逆向工程把相变临界点的定位精度提升了两个数量级;强关联电子模拟中,神经微分方程求解器以不到传统密度矩阵重整化群十分之一的计算资源,复现了 t-J 模型里 d 波超导序参量的空间涨落谱。

大语言模型入场后,"猜想生成"这一环也开始外包。有团队用大模型驱动的程序搜索系统在组合数学的公开难题上找到超越已知的构造;材料学里,深度学习筛选系统给出两百多万种候选晶体结构,把新材料的搜索空间翻了一倍还多。对物理学而言,这类成果的定位要清醒:机器给出的是候选与线索,筛选、证伪与意义判定仍归人。把猜想生成交给机器而把验证留给物理学家,是目前分工的合理边界。

💡 关键直觉:符号回归做的是溯因,不是拟合。拟合是在选定函数族里找参数,溯因是在函数族本身的集合里找结构。前者给出答案,后者给出候选定律——这正是物理学家四百年来做的事,只是搜索的体力活被接走了。

二、机器学习势函数与 AlphaFold 时刻

分子动力学的尴尬由来已久:量子力学的第一性原理算得准但算得慢——每一步都要解电子结构的本征值问题,模拟时长停在皮秒量级;经验力场跑得快却跑不准,化学键的细节被抹掉。机器学习势函数在两者之间架桥,思路朴素得近乎大胆:既然原子感受的力由局域环境决定,那就把每个原子的能量写成其周围原子构型的函数,让神经网络去拟合这个函数。2007 年贝勒与帕里内洛迈出第一步,此后深度势能、等变神经网络一脉相承:训练好的势函数调用成本比第一性原理低若干个数量级,精度却能达到毫电子伏特级,逼近化学精度。模拟时长由此从皮秒推进到纳秒乃至微秒——很多构型转变、扩散过程第一次进了可模拟窗口。

物理先验的嵌入方式值得一书。等变网络把三维旋转与平移对称性直接造进架构:输入原子坐标旋转,输出能量不变,力场矢量随之旋转——不是靠数据增强学出来的近似对称,而是结构保证的严格对称。这解释了为什么这类模型的外推可靠性显著优于普通网络:对称性是物理给的最强正则化。

⚠️ 常见坑:把训练集覆盖范围当成物理定律的适用范围。势函数学的是能量面的局域几何,训练时没见过的相(高压相、异常配位数、表面重构)出现在模拟里时,网络不会报警,只会给出一个看似平滑实则无据的能量值。严肃的用法必须配合不确定性估计或与第一性原理抽查对表,否则毫电子伏特的精度数字反而会制造虚假信心。

AlphaFold 时刻的启示,需要拆成能学与不能学两半。能学的三点:其一,预测与理解是两回事——AlphaFold 给出结构却不解释折叠动力学,物理里的对应是,机器给出基态性质不等于给出机制,混淆两者会把预测工具误当理论;其二,数据库化改变提问方式——两亿多个预测结构入库后,研究者的默认动作从"测一个结构"变成"查一个结构再问机制",材料基因库同理;其三,竞赛与基准能在一个可量化目标上聚拢整个领域的算力,物理里的分子模拟基准、量子态层析数据集正在复制这条路。不能推及的两点:蛋白质有数十万条实验结构做训练底仓,物理前沿恰恰缺数据——新粒子、新相变、极端条件下的物态,往往只有个位数实验点;其二,结构预测的输出可被实验快速裁决,而许多物理猜想(比如某个有效理论的形式)的检验链条长达数年,机器猜想的产量与人类验证的吞吐量之间会出现危险的不对称。

三、神经网络的物理求解:从神经量子态到哈密顿量学习

第三块阵地在量子多体计算的核心区。变分法的老思路:猜一个含参数的试探波函数,调参数压低能量期望。神经量子态把"猜"字交给网络——波函数振幅由深层神经网络输出,参数即网络权重。2024 年《科学》杂志报道的进展显示,在二维哈伯德模型上,神经量子态以比传统 Slater 行列式方法少四个数量级的参数,同时抓住 d 波配对与反铁磁涨落的竞争——参数效率来自网络结构本身:自注意力层天然编码长程量子关联的传播模式,而这种关联在传统试探函数里要靠人工拼接。

自动张量网络解决的是另一类人工依赖。张量网络方法(第 4 章详述过)的性能高度依赖键维度、截断策略与优化路径的手工选择,老手的经验往往是决定性变量。2023 年苏黎世联邦理工学院的自动化框架把每个张量变成可学习模块,键维度在 8 到 2048 之间随训练动态调度——一个元控制器根据能量梯度与纠缠熵实时决定哪里该加粗、哪里可剪枝。在 Kitaev 蜂窝模型的测试中,这套自动流程的能量精度超过所有固定键维度的人工方案,且在演化中自动聚焦到拓扑简并子空间。这个细节值得停一下:算法"注意力"落点与物理学家关心的拓扑结构重合,暗示纠缠结构本身正在成为机器可读取的物理语言。

哈密顿量学习则把方向反过来:不解已知模型,而是从实验数据反推设备真实实现了什么模型——这对 5.2 节的模拟器是刚需,硬件实现的哈密顿量与设计值的偏差直接决定模拟可信度。2023 年麻省理工团队在超导处理器上演示:把演化算符参数化为泡利字符串的组合,仅用 128 次线路运行,就从噪声水平达百分之三十的测量数据中精确恢复了横场伊辛模型的耦合参数与外场强度——鲁棒性远超经典拟合。配套的进展还有相变识别:量子卷积网络直接学习密度矩阵的层级表示,无需人工指定序参量,训练中自发形成对应不同相的表示分离,而其中间表征与重整化群流的不动点结构高度吻合——网络无意间重演了威尔逊的思想实验。机器学习与量子多体物理在这里出现了双向喂养:物理先验让网络学得更好,网络结构又反过来提示重整化的算法本质。

方法 输入 输出 嵌入的物理约束 代表成果与边界
符号回归 观测数据 解析表达式 量纲一致 · 简约性 千万候选中收敛出洛伦兹协变结构;高维数据上易产漂亮废式
机器学习势函数 第一性原理能量与力样本 势能面 旋转平移等变 · 能量守恒 毫电子伏特精度、微秒模拟;训练集外不报警
神经量子态 哈密顿量 变分基态波函数 反对称 · 规范结构 万倍参数效率逼近哈伯德基态;优化地形崎岖
自动张量网络 目标模型 截断与优化策略 纠缠面积律 键维度 8 到 2048 自主调度并锁定拓扑简并;算力门槛高
哈密顿量学习 含噪演化数据 设备真实模型参数 对称性限定 128 次运行耐受百分之三十噪声;模型族需预设

四、能力边界:何为炒作,何为实质

前两节的技术清单容易造成一种错觉,仿佛人工智能对物理学的改造只差时间。泼冷水的理由有三桶。

第一桶是数据。AI 在蛋白质折叠上的胜利建立在数十万实验结构的地基上,而物理前沿的定义恰恰是数据稀疏之地:一台光钟一年的比对数据、一次对撞实验的稀有事例、一个新物相的少数观测点。小样本下,模型的方差吃掉一切精心的设计——这里网络架构的取舍、正则的强弱,全都退居其次,先解决数据从哪来。

第二桶是外推。神经网络是插值机器,训练分布之内如鱼得水,之外没有保证。可物理学家最想问的问题——新对称性、新相、新粒子——按定义就在训练分布之外。等变架构与物理约束嵌入能压缩外推失效的范围,却给不出免疫。把基准测试的高分外推成对未知自然的预言力,是这类论文审稿意见里最常见的驳回理由。

第三桶是解释。一个黑箱给出正确的数值,与给出机制,是两个层次的贡献。符号回归至少交付可读的公式;纯粹端到端的深度模型连这个都不给。"人工智能发现了守恒律"这类标题,细看往往是网络隐含表示里存在某个对称结构的统计证据——有价值,但把它直接等同于定律,跳过了物理论证的关键一跳:相关不等于因果,拟合出的不变量不等于对称性原理。

于是判据可以收敛为三条,一个 AI 物理成果若想越过实质的门槛,至少满足其一:可证伪——它给出了能被下一个实验裁决的明确预言;可迁移——它的方法在第二个体系上仍然工作,而非定制件;可解释——它交付的中间结构与已知物理语言(对称性、守恒律、重整化流)建立了对应。三条全无、只有基准分数的,无论叙事多热闹,都应归入泡沫档。以此回看本节的案例:符号回归的洛伦兹协变结构满足第一条与第三条,神经量子态满足第二条,自动张量网络满足第三条——它们过线的方式各不相同,这正是判据该有的用法。

还有一个制度层面的问题留给第 6 章:当论文的核心论证包含一段机器生成的模型与代码时,署名、可复现性、同行评审的惯例都要跟着改写。工具闭环的最后一环不在算法里,在科研生态的章程里。

一节小结

  • 符号回归的成色由两处设计保证:量纲约束的语法树在生成阶段就排除非法表达式,帕累托前沿在精度与简洁之间强制取舍;其本质是溯因推理而非拟合。
  • 大语言模型已能参与猜想生成——数学构造搜索与百万级候选晶体筛选——但证伪与意义判定仍是人的领地,外包的是体力不是责任。
  • 机器学习势函数以等变架构嵌入旋转平移对称性,毫电子伏特精度把第一性原理分子动力学从皮秒推到微秒;训练集覆盖范围之外它不会报警,虚假信心是主要风险。
  • AlphaFold 的启示要拆半看:预测不等于理解、数据库化改变提问方式、基准聚合算力是可学的一半;物理前沿的数据稀疏与检验链条冗长是不可推及的一半。
  • 神经量子态在二维哈伯德模型上以万倍参数效率抓住 d 波配对与反铁磁涨落的竞争;自动张量网络让键维度在 8 到 2048 间自主调度并锁定拓扑简并子空间——纠缠结构正在成为机器可读的物理语言。
  • 哈密顿量学习仅用 128 次线路运行、耐受百分之三十噪声即可反推设备的真实模型,为量子模拟器提供了质检工序。
  • 分辨实质与泡沫的三条判据:可证伪、可迁移、可解释,至少居其一;三条全无者归入泡沫档。

三节合拢,本章的闭环至此转完一圈:传感器扩展观测,模拟器扩展计算,人工智能扩展推断——工具改写了问题清单,也把新的难题留给了组织科研的方式。接下来的第 6 章,就从实验室转向生态:这些昂贵的新工具,正在如何重塑大科学协作、成果检验与学术评价的规则。


作者与出处
原作者: 灏天文库
来源:灏天文库
整理: 灏天文库整理
由灏天文库平台收录,内容或由平台用户上传,仅供学习交流
发布者: 作者: 灏天文库 转发
评论区 (0)
U