AI 正在“摧毁”数学吗？
中文摘要
OpenAI AI 代理 88 小时解纳维-斯托克斯方程，标志 AI 进入数学前沿研究。数学正从「证明稀缺」走向「证明过剩」，冲击人类理解与发现过程。
English Summary
OpenAI AI agents solved Navier-Stokes equation in 88 hours, pushing AI into frontier math research. This shifts math from "proof scarcity" to "proof surplus," impacting human understanding and discovery.
原文节选
📌 一句话摘要 OpenAI 用一万个 AI 代理 88 小时给出纳维-斯托克斯方程解答，标志 AI 越过竞赛边界进入数学研究前沿，数学正从「证明稀缺」走向「证明过剩」，真正受冲击的是人类理解与发现过程的生态。 📝 详细摘要 文章以 2025 年 9 月 OpenAI 宣称用内部模型给出纳维-斯托克斯方程「存在性与光滑性」解答为切入点，梳理 AI 在数学领域的连续突破：DeepMind 的 AlphaProof 与 A...