AI 辅助研究自催化反应网络稳态唯一性：II_l / V 类模型的 Lean 证明与反例边界

Michael Mislan 于 10 月 21 日连发两篇自催化反应网络研究，给出特定可逆 Type II_l 核心在严格正降解下及与 Type V 网络在非负降解下的正稳态唯一性定理，同时构造去除 source-minimality 等条件后会出现两个稳态的有限反例。文稿主要由 AI 辅助开发，部分数学由人类理解；页面连接 Lean 证明与 Palomar 登记。**这些形式化工件分别在 2026 年 9 月 25 日与 9 月 30 日已经登记**，因此 10 月 21 日仅收录当日首次公开的完整论证系列，绝不声称当日首次 kernel check。关联：https://hexagonmath.org/2610.00439v1。