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

📋总体概括

这篇来自HavenlonLabs的文章讨论AI如何拆解知识生产的传统结构：过去提出答案者须同时承担证明责任，而AI正让「发现」与「证明」以前所未有的速度分离。文中以2026年9月OpenAI公布的Navier–Stokes方程研究结果为例——该问题是2000年克雷研究所设立的千禧年七大数学难题之一，OpenAI称其内部AI系统构造了一个有限时间爆破性构型（内容于此处截断）。文章核心论点是，AI催生了答案先于、甚至脱离人类可验证证明的知识生产新模式，这将重构科学、数学与工程领域的信任与验证机制。