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

⚡关键信息

• ▸传统知识生产结构中，提出结论者须同时承担证明责任，数学、科学、工程领域皆然。
• ▸AI正在让发现与证明以前所未有的速度分离，打破原有的一体化知识生产模式。
• ▸2026年9月OpenAI公布内部AI系统对Navier–Stokes方程的研究结果，该问题是千禧年七大难题之一。
• ▸千禧年难题由克雷数学研究所于2000年提出，每题悬赏百万美元，Navier–Stokes涉及解的存在性与光滑性。
• ▸OpenAI系统的工作方向是构造有限时间形（如爆破反例），属于发现层面而非完整证明。