9:30—10:30前沿讲座：科学数据基础设施与科学语料库① 科学数据与科研基础设施的组织、治理与服务② 科学语料库构建及 AI4S 数据开放实践③ 理解数据来源、质量与可调用性周园春中国科学院计算机网络信息中心研究员、主任10:50—11:50理论课程：AI驱动的科学规律发现——从实验数据到控制方程① 从实验数据到规律归纳的科学发现路径② 方程发现的组合搜索、代表方法与适用边界③ 数据驱动结构分析与经验驱动策略总结李凯中国科学院自动化研究所研究员

9:30—10:30时间分析视角下的AI4S：从科研提效到智能发现① AI在科研问答、文献调研、实验设计、数据分析、科学作图与论文写作中的应用② 以时间分析法发现科研痛点、建立反馈并评估AI工具的实际价值③ 以适配体筛选为例，介绍超高通量实验、高质量数据与模型—实验闭环罗昭锋中国科学院杭州医学研究所核酸适体筛选中心副主任10:50—11:50案例分享：LinX超高通量分子互作平台——面向AI药物研发的数据基础① 标准化、高通量、自动化实验平台如何持续供给 AI 建模数据② 分子编码、空间定位与自动化筛选③ 海量分子—靶标并行检测的科研数据基础罗昭锋中国科学院杭州医学研究所核酸适体筛选中心副主任14:00—15:00案例分享：无机功能材料的计算—实验闭环——从组分设计到制备① 组分设计、高通量计算筛选与材料制备② 计算—实验各环节中 AI 与人的分工③ 闭环中的结果验证与迭代机制刘建军中国科学院上海硅酸盐研究所研究员

14:00—15:00案例分享：从太阳物理数据到具身智能望远镜——“金乌”AI科研系统实践① 太阳物理观测数据、科研任务及人工智能可参与环节② JW系列数据集、黑子磁分类、耀斑预报与“金乌”太阳大模型③ 科研智能体、具身智能太阳望远镜与多智能体控制实践林佳本中国科学院国家天文台研究员、博士生导师15:10—16:10从数据获取到知识发现实际项目中如何获取数据、如何建模、如何评估实验结果刘莹中国科学院大学计算机科学与技术学院教授、博士生导师