BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:陈锟副研究员，当科学推理变得可编译：面向 Agent
 ic Science 的知识形式化
DTSTART;VALUE=DATE-TIME:20260410T020000Z
DTEND;VALUE=DATE-TIME:20260410T040000Z
DTSTAMP;VALUE=DATE-TIME:20260409T145400Z
UID:indico-event-29299@indico.ihep.ac.cn
DESCRIPTION:致知论坛：高能物理计算技术 第九期活动\n\n报
 告题目： 当科学推理变得可编译：面向 Agentic Science 的
 知识形式化\n报告人：陈锟 副研究员\n主持人：齐法制 
 研究员\n时  间：4月10日（周五）上午10:00\n地  点：多
 学科大楼 124会议室\n\n报告简介:\n\n自然科学的论证不只
 是数据和公式，更是命题之间的逻辑关系：演绎、溯因
 、类比、归纳，构成一张推理网络。然而这张网络长期
 以自然语言为载体，难以被系统性地执行、审查与复用
 。Cox 定理表明，任何满足一致性要求的信念系统必然同
 构于概率论。其推论是，科学推理的客观性并非来自个
 体判断，而来自证据结构本身的拓扑约束——当形式化
 足够充分时，先验的选择不再影响结论。基于这一认识
 ，我们构建了 Gaia Lang：一套将科学知识编译为概率图模
 型、通过 belief propagation 进行推理的形式语言。其核心目
 标是将科学论证从自然语言叙述转化为可执行的逻辑结
 构。在 AI agent 逐步参与科学研究的背景下，一层可编译
 、可审查、可组合的知识表示正变得愈发重要——它既
 是 agent推理的基础，也是人机之间校验推理链条的共同
 接口。本报告将介绍 Gaia 的理论框架与设计，并讨论其
 在 agentic science 中的潜在角色。\n\n报告人简介:\n\n陈锟，
 中国科学院理论物理研究所副研究员。致力于研究大语
 言模型逻辑推理能力的涌现问题，并探索通用人工智能
 在基础科学研究中的新范式。他在中国科学技术大学获
 得学士学位后，在合肥微尺度国家实验室和美国马萨诸
 塞州立大学分别获得了量子信息与凝聚态物理的博士学
 位。博士后期间，他受西蒙斯基金会资助，在罗格斯大
 学和Flatiron研究所深造。其研究受国家引才计划青年项目
 支持。\nhttps://indico.ihep.ac.cn/event/29299/
LOCATION:124会议室 (多学科大楼)
URL:https://indico.ihep.ac.cn/event/29299/
END:VEVENT
END:VCALENDAR