网传 Claude 解决纳维‑斯托克斯方程，实际是一场社交平台上的乌龙传闻。
事件起源于数学家陶哲轩的一篇假想讨论📝 他以纳维‑斯托克斯方程举例，设想未来 AI 完整攻克千禧年难题的整套研究流程。 重点并不是宣布问题已经被解开，而是探讨：如果 AI 直接输出最终证明，大量中间探索思路、衍生工具该如何留存给数学界。
部分网友误读内容，衍生出「Claude 已经完成证明，等待 IPO 前发布」的传言。 随后陶哲轩专门澄清：没有收到该问题取得重大突破的消息，上文只是假设性场景，只是以当下 AI 进度来看，这类设想具备现实可能性。
纳维‑斯托克斯属于百万奖金的千禧年大奖难题，截至目前 Clay 数学研究所依旧标记该问题尚未被解决，没有公开论文与评审结果。
近期 AI 在数学领域确实不断突破📊 ▪Claude 用 11 天，完成费马大定理大规模 Lean 形式化工作 ▪对黎曼猜想相关零点比例拿到更好的下界 ▪OpenAI 模型推翻离散几何长期猜想，产出多篇论文级数学结果
AI 已经不再局限做奥数习题，开始触碰真正的开放数学问题。 随之而来也带来新的行业思考： 当 AI 可以快速给出答案，数学真正珍贵的，或许不再仅仅是最终结果，还有探索过程、衍生工具与研究思路。未来数学家会更多承担选题、提炼理论、核验梳理的工作。
想要了解更多有趣的 AI 研究，记得关注我哦