摘要
本文提出基于范畴论的代理科学发现框架，强调科学发现不仅是答案生成，更是表征范式的修正。系统将状态定义为协预层，发现过程视为经左 Kan 扩张验证的范式转移，从而区分检索、搜索与发现。通过 Builder/Breaker 和 CategoryScienceClaw 两个实例，展示了系统在材料科学中如何修正世界模型、管理技能与工件，并实现携带证明的知识计算图，为自我修正的 AI 发现系统提供了数学语言与工程规范。
AI 推荐理由
论文核心提出“自我修正”发现系统，聚焦代理在科学探索中的范式转移与自我改进机制。
研究机构
Laboratory for Atomistic and Molecular Mechanics, Department of Biological Engineering, Massachusetts Institute of Technology, Cambridge, MA 02139, USA
论文信息