⌘ K
… 读取采集状态 同步中...
雷
热点事件观察中

MIT教授评OpenAI生成Navier-Stokes反例引验证困境

2 篇报道2 个报道来源2 天前更新

先了解这件事

AI 综述

2026年10月10日，MIT工程教育副院长Justin Solomon在《Odd Lots》播客中评论OpenAI上月发布的Navier-Stokes方程解失效反例证明。Solomon表示，尽管该证明已发布，他与主持人均无法读懂第二页内容，且指出该证明缺乏优雅性。他进一步分析称，当前AI生成的知识仍限于人类已知领域的“凸包”内，生成答案变得廉价，而验证与理解成为稀缺资源。10月11日，新报道补充指出，随着AI生成内容成本降低及如ICLR投稿量激增至六万份，人类在科研审稿中的价值凸显，同时暴露了当前学术审查体系面临的巨大压力与困境。

AI 根据报道生成 · 3 小时前更新

最新进展10月11日 16:22
Solomon强调AI成果未跳出人类知识边界，验证理解比生成更稀缺，加剧学术审查压力。

报道时间线

沿着报道，了解事件的不同侧面。

10月11日
  1. 新智元
    MIT教授谈OpenAI攻克Navier-Stokes方程引发数学界验证困境

    OpenAI近期提出Navier-Stokes方程解失效的反例证明，但MIT工程教育副院长Justin Solomon表示该证明缺乏优雅且人类无法读懂。ICLR投稿量激增至六万份加剧学术审查压力。Solomon认为当前AI成果仍限于人类知识的“凸包”内，生成答案廉价而验证理解成为稀缺奢侈品。

10月10日
  1. AI HOT
    MIT教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了

    MIT工程教育副院长Justin Solomon在播客中谈到OpenAI模型上月给出Navier-Stokes解失效的反例证明，但他和《Odd Lots》主持人读不到第二页。该事件展示了生成便宜之后人类价值所在，重点在于理解验证与审稿困境。

本事件热度走势

当前热度 3·可比范围峰值 7（10月11日 09:00）·近 24 小时可比范围变化 -15%

0246810月11日09:0010月12日00:0010月12日15:0010月13日06:00

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。