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

📋总体概括

文章提出AI正在把人类知识生产中「发现答案」与「证明答案」这两件长期绑定的事拆分开来。核心例证是2026年9月OpenAI公布的Navier–Stokes方程研究成果——该方程的存在性与光滑性问题是Clay数学研究所2000年设立七大千禧年难题之一，OpenAI称其内部AI系统构造了一个有限时间形式（文中内容截断）。作者认为传统上提出结论者需同时承担论证责任的结构正被AI以前所未有的速度瓦解，知识生产的分工结构面临重写。