Rohan Paul@rohanpaul_ai · XMIT论文（F.Y. Wang & M.J. Buehler, arXiv:2606.01444, 2026）提出Self-Revising Discovery Systems框架，使AI科学家能自主识别当前思维模式不足并添加新科学概念，而非仅更努力搜索。系统将数据、模型、工具输出、失败及声明均视为类型化产物（typed provenance），从而区分三种模式：retrieval（添加已知对象）、search（探索固定模式）和discovery（可验证的模式转换）。论文通过Kan obstruction和Left Kan extension数学化定义了真正新颖性——由旧证据传输后的逐点残差量化，使novelty可客观测量。案例包括Builder/Breaker模型发现蛋白质模式条件顺应性，以及CategoryScienceClaw发现各向异性纤维网络刚度规则。
Great idea for self-evolving AI scientists from this new MIT paper.
Tries to make an AI scientist notice when its current way of thinking is too small， then add new scientific concepts instead of merely searching harder.
The problem is that most AI science systems still search inside a fixed setup， even when real science sometimes needs new kinds of variables， tools， tests， or claims.
The paper's core idea is to make every data point， model， tool output， failure， and claim a typed artifact， where typed means the system records what kind of thing it is and how it was produced.
Then the system can tell the difference between retrieval， which adds known things， search， which explores a fixed setup， and discovery， which changes the setup itself.
So novelty AI scientists is not defined by surprise， fluency， or benchmark gain， but by what could not be expressed inside the previous schema.
A serious attempt to formalize something most AI systems still fake： the difference between finding an answer inside a language and earning the right to change the language.
----
arxiv. org/abs/2606.01444
Title： "Self-Revising Discovery Systems for Science： A Categorical Framework for Agentic AI"