关于纳维-斯托克斯千年奖问题
内容提要
OpenAI内部系统解决了纳维-斯托克斯存在性与光滑性千年难题，证明三维流体可在有限时间内形成奇点。系统使用约一万个并发智能体，耗时88小时完成证明，并用Lean形式化验证。该成果展示AI数学能力，但团队不申领奖项，强调负责任地推进AI发展。
延伸解读
证明思路：涡旋奇点与能量有限
文章指出，系统证明的是三维不可压缩流体在有限时间内形成奇点，即速度无界增长。关键点在于，这种奇点并非由外部无限力直接造成，而是流体自身运动（如涡旋向内螺旋并拉伸）导致方程中各项（加速度、压力梯度、粘性等）同时增大且精确抵消，从而保持外部力光滑且总能量有限。这解释了为何该结果符合物理定律，而非人为构造的数学反例。
AI证明的验证与局限
该证明由约一万个并发智能体协作完成，耗时88小时，并额外用17小时通过Lean形式化验证。形式化验证增加了结果的可信度，但文章也承认，模型训练可能使用了去标识化的用户数据，且无法完全排除其影响。此外，证明过程依赖内部模型，其能力远超GPT-6 Astra，但具体细节未公开，外部研究者难以独立复现或审查全部推理过程。
对数学研究方式的潜在影响
文章提到，系统在解决纳维-斯托克斯问题前，先解决了无粘性欧拉方程的类似问题，这为后续证明提供了思路。这种多智能体协作、跨问题迁移的方法，展示了AI在数学发现中的潜力。然而，作者强调不申领奖项，并呼吁负责任地推进AI发展，暗示此类成果可能引发关于AI在科研中角色、成果归属及安全性的讨论。
Q&A
纳维-斯托克斯千年奖问题是什么？
纳维-斯托克斯存在性与光滑性问题是一个关于流体运动的偏微分方程（纳维-斯托克斯方程）是否会在三维空间中产生奇点（即速度在有限时间内变得无限大）的数学问题。该问题自1934年以来一直未解，2000年被列为七个千年奖问题之一。
OpenAI系统如何证明纳维-斯托克斯方程的解会在有限时间内形成奇点？
OpenAI系统通过协调约一万个并发智能体，使用内部模型和工具（如代码执行和缓存互联网访问），在88小时内找到了证明。证明显示，一个初始光滑的流体在施加光滑外力后，其速度会在有限时间内无界增长，形成奇点。该证明随后用Lean进行了形式化验证。
纳维-斯托克斯方程中的奇点是什么意思？
奇点是指流体速度在有限时间内变得无限大，这表示连续介质近似失效，因为真实流体不可能无限快。奇点的形成意味着纳维-斯托克斯方程不再能描述流体行为，需要转向粒子级别的描述。
OpenAI的证明结果是否意味着纳维-斯托克斯方程总是产生奇点？
不是。该证明表明存在一种特定情况（初始光滑、施加光滑外力）下，纳维-斯托克斯方程的解会在有限时间内形成奇点。这解决了千年奖问题中的陈述C（和D），即存在光滑解在有限时间内失去光滑性。但并非所有情况都会产生奇点，问题关注的是是否存在这样的反例。
OpenAI为什么决定不申领千年奖？
OpenAI表示不打算申领该奖项，因为他们的目标是报告AI模型的进展，并强调负责任地推进AI发展。他们希望将成果视为AI进步的一个快照，而不是终点，并专注于理解模型和引导未来能力的发展。
OpenAI系统在解决纳维-斯托克斯问题中使用了多少计算资源？
系统使用了约一万个并发智能体，耗时88小时完成证明，期间发送了2.7百万条消息，使用了约1300亿个输出令牌。整个项目（包括所有尝试的问题）使用了4.9百万条消息和约3000亿个输出令牌。
OpenAI的证明与Anthropic和NYU的并发工作有何关系？
OpenAI在听到传闻后开始工作，后来发现Anthropic员工和NYU教授也在解决相关问题。OpenAI主动联系他们，提出联合发布，但最终发现对方解决的是强迫欧拉问题，而OpenAI解决的是非强迫欧拉和纳维-斯托克斯问题。OpenAI承认对方的优先权，并强调他们的证明是独立完成的。
