IT之家 9 月 9 日消息，纽约大学数学教授 Tristan Buckmaster 当地时间周二宣布了三项证明成果，其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成果由 Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作完成，并同时使用了 Codex 和 Claude AI 模型。相关研究成果本身就具有重要意义，但围绕 OpenAI 试图解决同一问题的行动，还出现了一场不同寻常的争议。 “这个故事还有另一部分，”Buckmaster 在宣布证明成果的声明中写道，“坦率地说，这是我非常希望自己不必面对的问题。”根据他的声明，OpenAI 的一项并行研究在相关成果公开之前就建立在他们的工作之上，由此引发了一系列学术竞争以及相互矛盾的说法。 Buckmaster 发布声明后不久，OpenAI 公布了纳维-斯托克斯存在性与光滑性问题的完整证明，而 Buckmaster 的研究成果已为该证明的得出迈出了关键一步。OpenAI 表示，这份证明由一个尚未发布的新一代模型发现。过去一周，该模型已经解决了一系列不同的数学未解问题。整个为期一周的研究过程总计消耗了 3000 亿个输出 Token，按照目前 Astra 的价格计算，如果全部按计算资源收费，成本约为 2,250 万美元 （IT之家注：现汇率约合 1.51 亿元人民币） 。 纳维-斯托克斯存在性与光滑性问题是七个“千禧年大奖难题”之一。这七个问题均属于数学领域最重要的未解问题，克雷数学研究所（Clay Mathematics Institute）为每个问题提供 100 万美元 （现汇率约合 672.8 万元人民币） 奖金，奖励首个给出解决方案的个人或团队。纳维-斯托克斯方程被广泛应用于流体力学，但从理论角度来看，人类对其仍缺乏充分理解。如果这一问题得到解决，将代表人类对数学物理学

  • 情报分类：商业价值
  • 命中依据：AI研究成果争议，有行业信息量
  • 来源：资讯 / IT之家
  • 发布时间：2026/9/9 17:34:47