数学家指出 OpenAI 纳维-斯托克斯证明的人机版本不一致
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAI 在公布纳维-斯托克斯问题的解答时分别给出了供人阅读的证明与形式化代码版本，剑桥大学数学家 Anders Hansen 等人发现两个版本并不一致。这一错误未必意味着证明本身有误或 OpenAI 未正确求解该问题，但凸显了大语言模型生成的数学结果仍需由人类数学家逐一人工复核。
文章以 OpenAI 纳维-斯托克斯证明的人机版本不一致为案例，呈现当前 AI 生成数学结果的形式化校验缺口与对人工复核的依赖。
广告
- [x]
按栏目浏览
按主题浏览
探索我们的产品与服务
管理您的订阅
查看您的订阅状态、更新您的详细信息等。
技术
OpenAI 在其纳维-斯托克斯证明中将数学误译为代码
当 OpenAI 宣布其对纳维-斯托克斯问题的意外解决方案时，它为人类和计算机各生成了一份证明——然而，这两者并不匹配
作者：Jacob Aron
2026年10月8日
AI 生成的证明通常使用一种称为形式化的过程进行检验
Pixels Hunter/Shutterstock
一个数学家团队声称，OpenAI 在发布其纳维-斯托克斯问题的证明时似乎犯了一个微妙的错误。这一错误并不意味着证明不正确，也不意味着 OpenAI 没有正确解决这个问题，但它确实让人质疑 AI 模型生成的数学结果是否始终可靠。
"所有这些由大语言模型生成的证明都必须由人类来阅读，这给数学家带来了巨大的额外负担，"剑桥大学的 Anders Hansen 表示。
主题：数学
广告
注册我们的每周通讯
每周在您的收件箱中接收一份发现资讯。我们还会让您及时了解New Scientist的活动和特别优惠。
更多来自 New Scientist 的内容
探索最新新闻、文章和专题
#### 技术 ### 是 AI 还是“超级智能”？感到困惑的不止特朗普 评论
#### 数学 ### OpenAI 722 篇新论文中最有趣的数学发现 新闻
#### 太空 ### 在 AI 时代为何需要把关 新闻
#### 技术 ### OpenAI 倾倒了 722 篇数学论文——现在必须收拾残局 评论
热门文章
热门 New Scientist 文章
我们能否利用大脑的深层清洁系统来预防阿尔茨海默病？### 两颗大型小行星被发现以游乐设施般的速度自转### 在这场超级厄尔尼诺之后，世界可能再也无法回到从前### 近十分之一的年轻人可能出现动脉脂肪堆积和变窄### OpenAI 722 篇新论文中最有趣的数学发现### 为什么许多患 ADHD 的女性感到被激素强烈控制### 纹身未来可以通过光线开关### 我们终于了解到天才儿童成年后的状况### 挤压骨骼会释放有助于缓解创伤性脑损伤的分子### 重启干细胞可重塑衰老肌肉并帮助损伤恢复
广告
下载应用
在社交媒体上找到我们
订阅
支持
工具
法律与隐私
© 版权 New Scientist Ltd.
返回顶部
我们及我们的合作伙伴使用 Cookie 和其他技术收集用户数据
所访问的数据类型
- 使用本网站的设备的唯一标识符
- 浏览器信息
- IP 地址
- 访问页面等活动
- 使用本网站的位置
来自您的设备，以便：
- 我们可以向您提供相关的内容和广告
我们将您的数据用于广告的方式 * 信息存储与访问 * 个性化 * 广告选择、投放、报告 * 内容选择、投放、报告 * 衡量
- 为您提供最佳体验
随时控制您的数据的使用方式并查看更多信息
通过我们隐私政策中的 Cookie 设置链接
知道了
订阅我们的通知以获取最新新闻和更新。您可以随时禁用。
来源：Hacker News · newscientist.com