返回每日动态opinionMIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了X：Saito 硬地骇客 (@SaitoWu)10月10日 21:56导读MIT 工程教育副院长 Justin Solomon 在播客中谈到，OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明，但他和《Odd Lots》主持人读不到第二页。推荐理由以 MIT 教授的第一手讲述梳理 AI 证明 Navier-Stokes 反例后的验证与审稿困境，可帮读者理解生成便宜之后人类价值所在。