BEGIN:VCALENDAR VERSION:2.0 PRODID:-//CERN//INDICO//EN BEGIN:VEVENT SUMMARY:陈锟副研究员，当科学推理变得可编译：面向 Agent ic Science 的知识形式化 DTSTART:20260410T020000Z DTEND:20260410T040000Z DTSTAMP:20261102T001400Z 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研究所深造。其研究受国家引才计划青年项目 支持。\n\nhttps://indico.ihep.ac.cn/event/29299/ LOCATION:124会议室 (多学科大楼) URL:https://indico.ihep.ac.cn/event/29299/ END:VEVENT END:VCALENDAR

map