陈锟副研究员，当科学推理变得可编译：面向 Agentic Science 的知识形式化

Friday 10 Apr 2026, 10:00 → 12:00 Asia/Shanghai

124会议室 (多学科大楼)

致知论坛：高能物理计算技术 第九期活动

报告题目： 当科学推理变得可编译：面向 Agentic Science 的知识形式化
报告人：陈锟 副研究员
主持人：齐法制 研究员
时  间：4月10日（周五）上午10:00
地  点：多学科大楼 124会议室

报告简介:

自然科学的论证不只是数据和公式，更是命题之间的逻辑关系：演绎、溯因、类比、归纳，构成一张推理网络。然而这张网络长期以自然语言为载体，难以被系统性地执行、审查与复用。Cox 定理表明，任何满足一致性要求的信念系统必然同构于概率论。其推论是，科学推理的客观性并非来自个体判断，而来自证据结构本身的拓扑约束——当形式化足够充分时，先验的选择不再影响结论。基于这一认识，我们构建了 Gaia Lang：一套将科学知识编译为概率图模型、通过 belief propagation 进行推理的形式语言。其核心目标是将科学论证从自然语言叙述转化为可执行的逻辑结构。在 AI agent 逐步参与科学研究的背景下，一层可编译、可审查、可组合的知识表示正变得愈发重要——它既是 agent推理的基础，也是人机之间校验推理链条的共同接口。本报告将介绍 Gaia 的理论框架与设计，并讨论其在 agentic science 中的潜在角色。

报告人简介:

陈锟，中国科学院理论物理研究所副研究员。致力于研究大语言模型逻辑推理能力的涌现问题，并探索通用人工智能在基础科学研究中的新范式。他在中国科学技术大学获得学士学位后，在合肥微尺度国家实验室和美国马萨诸塞州立大学分别获得了量子信息与凝聚态物理的博士学位。博士后期间，他受西蒙斯基金会资助，在罗格斯大学和Flatiron研究所深造。其研究受国家引才计划青年项目支持。