⌘ K
… 读取采集状态 同步中...
雷
原文
新智元·· 2 天前AI 评分41

MIT教授谈OpenAI攻克Navier-Stokes方程引发数学界验证困境

MIT教授绝望:OpenAI攻克的千禧年难题,人类已经看不懂了!

AI 导读

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

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com