🔬 人工智能解决了一个90年来无法解决的问题:这对2026年的普通用户意味着什么

人工智能解决了一个90年来无法解决的问题:这对2026年的普通用户有什么影响 📄 2026年9月8日,OpenAI宣布其内部模型找到了纳维-斯托克斯方程的证明——这是克雷研究所的七个“千年难题”之一,解决该问题可获得100万美元的奖金。关于解的存在性和光滑性的问题开放了近90年:早在1934年,数学…

人工智能解决了一个90年来无法解决的问题:这对2026年的普通用户有什么影响

📄 2026年9月8日,OpenAI宣布其内部模型找到了纳维-斯托克斯方程的证明——这是克雷研究所的七个“千年难题”之一,解决该问题可获得100万美元的奖金。关于解的存在性和光滑性的问题开放了近90年:早在1934年,数学家让·勒雷就证明了广义解的存在,但关于它们是否始终光滑的问题仍未解决。

模型具体展示了什么📐

🔬 证明描述了一个具体场景:最初光滑的静止流体在有限时间内可能会发展出一个奇点——涡旋向内收缩并沿轴线拉伸,局部速度无限增长,同时系统的总能量保持有限。该工作由大约10,000个人工智能代理组成的团队完成,整个过程耗时约88小时。结果以165页的证明形式呈现,并在Lean语言上进行了形式验证——该系统逐行检查每一步的逻辑正确性。

为什么围绕这个问题产生了争议❓

这篇文章伴随着关于作者身份的争论:部分研究人员指出,OpenAI工作的推动力是关于其他数学家尚未发表的独立结果的传闻。OpenAI本身并不声称获得100万美元的奖金——只是展示模型的能力。

对于那些想要“同样模型”的人来说,这是一个重要的澄清。

证明是由内部尚未发布的OpenAI模型创建的,远远超过其公开可用的版本。这不是可以通过订阅立即连接的模型——任何“购买订阅并获得解决千年难题的模型访问权限”的承诺都是不准确的。

这对普通用户意味着什么👤

这条消息的价值不在于直接访问实验模型,而在于它表明:人工智能系统的能力增长速度超过了大多数人能够察觉的速度。公开模型——ChatGPT、Claude、Gemini、Grok——也在以同样的速度发展,只是发布上有延迟,而同一年内模型代际之间的能力差异变得越来越明显。

简单的实际结论是:保持对一款或多款顶级模型的有效订阅并不是奢侈,而是跟上这些工具现在实际能做的事情的一种方式。

在哪里办理划算的订阅 ✅

SOCNET INFO - 进入所有官方SOCNET平台的入口,包括数字商品市场。在 SOCNET STORE可以以优惠的价格找到 ChatGPT、Claude、Gemini 和其他流行的神经网络的订阅,交易受到保护 - 付款在确认收到商品之前由平台保留。

🎁 既然你读完了这篇文章 - 这是优惠码 MEDIUM10, 这给了 10%的折扣 在市场上购买数字商品时。

可以通过解决纳维-斯托克斯方程来访问模型吗?不,这是OpenAI内部的非公开开发 - 订阅可用的模型运行在其他版本上。

OpenAI 是否获得了奖金?不,公司官方声明不争夺$1百万的奖金。

数学界的决定值得信任吗? 证明在Lean系统中通过了正式审核,但关于其创建的背景在科学界存在公开讨论。

结果

结果

纳维-斯托克斯方程的解决方案并不是说每个人现在都可以购买超强模型的访问权限,而是整个行业发展的速度。像ChatGPT、Claude和Gemini这样的公共模型朝着同一方向发展,通过SOCNET STORE订阅它们是今天就利用这一进步的实用方式,而不是几年后。