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

📋总体概括

本文提出一个结构性判断：AI正在把人类知识生产中「提出答案」与「证明答案」这两件长期绑定的任务拆开。传统上数学家、科学家、工程师提出结论时必须同时给出证明或证据，而随着AI介入前沿研究——文中以2026年9月OpenAI公布关于Navier–Stokes方程（千禧年七大数学难题之一）的研究结果为例，AI构造了有限时间形态的结果——发现与证明的分离正在加速，这将改写知识生产的责任结构。