焦点评述

一、概念内涵

随着生成式人工智能特别是大模型技术快速发展,人工智能正从传统的信息处理和科研工具进入科学问题求解与科学知识生产过程,推动科学研究由实验观测、理论推导、计算仿真和数据密集型研究进一步迈向“AI+数据+算力”驱动的智能科研。AI for Science(AI4S)并非简单地将AI应用于科研,而是利用科学基础模型、智能体和智能计算等技术,重构科学问题提出、知识发现、理论推演、计算模拟和实验验证全过程。其核心是形成科学家的知识、经验与直觉同机器的感知、计算、推理、搜索和执行能力之间的深度协同,即“超智融合”。这一过程一方面让AI直接解决复杂科学问题,另一方面让AI全面提升科研人员的认知、计算和实验能力,从而推动AI由科研工具走向科学发现的重要参与者,并引发科研范式、科研组织方式和科研基础设施的系统性变革。


二、研究热点

当前AI4S主要沿“让AI解决科学问题”和“让AI提升科研能力”两个方向展开:前者直接进入科学规律发现与复杂问题求解,后者则推动AI由单项工具向贯穿科研全过程的智能协作者演进。

1、让AI解决科学问题

利用AI直接解决科学问题,是当前AI4S最具代表性的方向。生命科学领域,Google DeepMind的AlphaFold和AlphaFold 3突破蛋白质结构及生物分子相互作用预测;地球科学领域,GraphCast快速生成全球中期天气预报;Microsoft Research AI for Science的MatterGen、MatterSim和Aurora分别探索材料生成、材料模拟和大气基础模型;MIT的CRESt把多模态模型、主动学习和机器人实验结合,实现材料发现闭环;阿贡国家实验室利用多智能体自动编排原子尺度模拟工作流,加速材料发现;国内中国科学院物理研究所则持续探索从预测式、生成式到智能体式的AI材料研究。上述成果表明,AI正在由“分析科学数据”走向“提出候选、发现规律、生成方案和验证假设”,开始直接进入科学知识生产过程。

热点代表性机构/研究团队:

[1]Google DeepMind(AlphaFold、GraphCast)

[2]Microsoft Research AI for Science(MatterGen、MatterSim、Aurora)

[3]Massachusetts Institute of Technology(CRESt)

[4]Argonne National Laboratory(AI智能体与材料模拟)

[5]中国科学院物理研究所(AI for Materials)


2、让AI提升科研能力

利用AI全面提升科研主体的认知、计算、协作与实验能力,是AI4S的另一重要方向。Anthropic正在推进Claude Science和AI for Science计划,并建设生命科学研究团队,使Claude参与大规模生物数据分析、假设生成和实验验证;OpenAI通过GPT-Rosalind、FrontierScience及科研人员支持计划,强化模型在生命科学、数学、物理和化学等领域的科学推理与科研工作流能力;上海人工智能实验室的Intern·Agent、Intern-Discovery将专业智能体、科研数据和实验设备连接起来,支持从假设到验证;中国科学院自动化研究所的“磐石·科学基础大模型2.0”强化科学知识理解、推理和工具编排;深势科技发布玻尔·科学空间,将科学知识、数据、模型、软件、算力与实验资源连接,并内置多学科AI科学家,支持从科学调研、假设提出到计算验证和成果输出。AI由此不再只是科研助手,而开始成为持续增强科研人员能力的智能科研基础设施。

热点代表性机构/研究团队:

[1]Anthropic(Claude Science、AI for Science)

[2]OpenAI(GPT-Rosalind、FrontierScience)

[3]上海人工智能实验室(Intern·Agent、Intern-Discovery)

[4]中国科学院自动化研究所(磐石·科学基础大模型2.0)

[5]深势科技(玻尔·科学空间)


三、发展趋势

总体来看,AI4S正在由单点技术应用走向科学问题系统求解、科研能力全面增强和基础模型能力持续跃迁的新阶段,人的科学智能与机器智能将进一步融合并推动科研范式整体演进。

1. 从单点求解到系统发现

未来AI4S将由解决边界清晰的单一科学任务,逐步走向复杂科学问题的系统求解。面对多尺度、多变量、多物理场耦合以及巨大搜索空间的问题,需要将科学知识、数据驱动模型、机理模型、数值模拟和实验验证组织为统一过程。AI将由预测模型发展为能够进行问题分解、假设生成、方案搜索、计算推演和迭代优化的系统性求解器,并形成“问题定义—建模—计算—实验—反馈—再发现”的闭环。与此同时,AI4S将持续产生模型训练、科学模拟、数据处理和推理需求,推动AI与HPC进一步融合,形成面向智能科研的新型计算基础设施。


2. 从AI辅助到超智融合

AI提升科研能力将推动科研模式由“科学家使用AI工具”转向“科学家与AI共同开展科研”。未来智能体将围绕科研目标持续执行知识获取、问题分析、方案设计、计算实验和结果评价,并通过多智能体协作形成新的科研组织模式。科学家的工作将更多聚焦于科学问题凝练、关键假设判断、研究方向选择和科学解释。超智融合的核心不是简单的人机替代,而是将人的科学直觉、经验和创造力,与机器的超域知识关联、大规模搜索、数理推演和持续执行能力深度结合,形成超越单个科研人员能力边界的新型科研主体,并改变科研团队的组织形式和知识生产方式。


3. 从通用基模到强数理基模

面向更加复杂和基础性的科学问题,AI基础模型需要进一步提升数学推理、物理理解、因果分析和长链条科学推演能力。未来科学基础模型将由以语言理解和知识获取为主,逐步向具有更强数学、物理和科学推理能力的模型演进,并加强与科学定律、形式化证明、科学计算和实验反馈的融合。模型能力提升的重点将由单纯扩大参数规模,转向增强科学知识表示、数理推理、可验证计算、自主规划和长期记忆等能力,使AI从拟合和预测已有知识进一步走向理论推导、规律发现和科学假设生成。随着强数理能力增强,AI4S有望进入数据稀缺、机理复杂、验证成本高的重大科学问题领域。


编委主任:苏金树 CCF会士 军事科学院教授

本期主编:李根国 CCF高性能计算专委主任扩大会议成员 上海超级计算中心教授级高工

                 林新华 CCF高性能计算专委主任扩大会议成员 上海交通大学高性能计算中心副主任/高工

Extreme-Scale Linear-Scaling Kohn-Sham DFT at 100 Million Atoms: Bridging Quantum Simulations and Experiments

科恩-沈密度泛函理论(DFT)是当前第一性原理材料模拟的主流方法,但传统DFT计算复杂度随体系呈立方增长、内存开销呈平方增长,极大限制了模拟原子数量与空间尺度,难以匹配实验研究需求。本文提出线性标度密度泛函理论框架XLSDFT,通过单粒子密度矩阵分治分解算法结合切比雪夫滤波子空间迭代技术,在完全保留计算精度的前提下,实现了计算量与内存开销的线性标度,突破了传统算法瓶颈。该框架部署于LineShine百亿亿次超算平台,大幅降低计算复杂度。研究成功实现2亿原子硅晶体模拟,规模为既往世界纪录的20倍;1亿原子体系测试中,弱扩展效率达96.6%,双精度持续算力达157.9 Pflop/s。同时,该方法完成1100万原子全固态电池界面模拟,规模是传统DFT模拟的1000倍,从原子尺度揭示锂与固态电解质的反应机制,模拟结果与谱学实验精准吻合。

格式:
文章
乾坤网络(QiankunNet):生成式神经网络量子态方法及其在量子化学中的应用

复杂体系薛定谔方程的高精度求解,是物理与量子化学领域的关键难题。本文提出乾坤网络(QiankunNet),一种融合Transformer架构与高效自回归采样的神经网络量子态框架,用于求解多电子薛定谔方程。该模型以Transformer波函数为核心,借助注意力机制捕捉复杂量子关联,精准拟合多体量子态结构。其采用分层蒙特卡洛树搜索完成量子态采样,可在探索轨道组态时严格保证电子数守恒,并依托截断组态相互作用实现物理先验初始化,有效提升变分优化的稳定性与效率。基准测试证实,该框架适配多种化学体系。对于30个自旋轨道的分子体系,其相关能计算精度可达全组态相互作用标准值的99.9%,创下神经网络量子态新精度纪录。该方法突破传统算力瓶颈,成功处理芬顿反应中CAS(46e,26o)的超大活性空间,精准刻画二价铁氧化为三价铁过程的电子结构演化,为复杂大分子体系的高精度量子化学计算提供了高效新方法。

格式:
文章
Developing ChemDFM as a large language foundation model for chemistry

针对通用大模型在化工和材料领域专业知识不足、跨模态理解能力弱等挑战,我们基于通用大模型的后训练构建了首个百亿级参数的化学材料领域大模型ChemDFM,使模型兼具处理化学材料任务能力与自然语言对话能力,在分子识别、性质预测、化学反应预测、实验设计等多个任务上超越通用闭源大模型和其他化学材料领域大模型。在此基础上,我们采用“分编码器+统一解码器”架构进一步构建了跨模态化学材料大模型ChemDFM-X,支持文本、图像、2D/3D分子图、红外光谱、质谱等多种不同模态的感知和推理。最后,提出科学知识和分子机理双增强的大模型思维链强化学习,研发了推理型化学材料大模型ChemDFM-R。上述系列大模型已全部开源https://huggingface.co/OpenDFM。

格式:
文章
Pushing the Limit of Molecular Dynamics with Ab Initio Accuracy to 100 Million Atoms with Machine Learning

35年来,从头算分子动力学(AIMD)一直是从第一性原理在原子尺度研究复杂材料与分子体系的主流方法。但高昂的计算开销,使得绝大多数从头算分子动力学模拟只能处理数千原子规模的体系。本文提出基于机器学习的分子模拟方案 —— 深度势能分子动力学(Deep Potential Molecular Dynamics),依托高度优化的 GPU 版 DeePMD-kit 程序,在 Summit 超算上实现了保持从头算精度的分子动力学模拟,将模拟上限拓展至1 亿原子体系,每日可完成 1 纳秒长轨迹采样。该程序可高效扩展至 Summit 超算全机资源,双精度算力可达 86 PFLOPS,混合精度算力 137 PFLOPS。该成果为在真实材料与分子体系中开展具备从头算精度的原子过程建模开辟了新路径。

格式:
视频
AI for Combustion: model reduction and simulation acceleration

随着碳氢燃料详细化学反应机理的不断发展,面向实际燃烧器的高保真数值模拟成为可能。然而,由于化学反应动力学体系具有显著的刚性,复杂大规模详细反应机理的数值求解计算代价极高,在超大规模燃烧模拟中尤为突出。本报告将介绍一种基于深度学习的化学动力学模型约简方法,以实现复杂化学反应机理的高效简化;同时,针对燃烧常微分方程(ODE)系统数值求解过程中受限于小时间步长的问题,介绍一种基于深度学习的方法,以提高燃烧过程数值模拟的计算效率。

格式:
视频
让AI进实验室-大模型如何提出可验证的科研假设

语言模型正从通用助手走向「AI科学家」,近期一项发表在 Cell 的 AI Co-Scientist 工作显示,模型生成的假设与后续实验验证高度一致。 上海交通大学博士钟博子韬以该案例为切入点,系统梳理大模型在科研中的角色与边界:1)如何从文献与数据中生成可检验的假设;2)如何融入实验设计与优先级排序;3)如何构建「设计—构建—验证—迭代」的闭环。 在未来的发展中,AI 如何融入现有的研究流程,如何改变现有的研究范式。

格式:
视频

本期编委成员