当发现与证明开始分离：AI 正在重写知识生产的结构

📋总体概括

HavenlonLabs文章提出：AI正在把知识生产中「发现答案」与「证明答案」这两个长期绑定在一起的环节加速分离。传统上数学家需给出证明、科学家需提供证据、工程师需说明方案可行，提出者同时承担证明责任。文中以2026年9月OpenAI公布关于Navier–Stokes方程（Clay研究所2000年千禧年七大数学难题之一）的研究结果为例，称其内部AI系统构造了有限时间形态的相关结果，说明AI可在人类验证能力之外产出结论，知识生产结构正被重写。