Saito 硬地骇客·· 23 天前精选AI 评分77
MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了
AI 写出的那份证明，MIT 教授也读不过第二页
AI 导读
MIT 工程教育副院长 Justin Solomon 在播客中谈到，OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明，但他和《Odd Lots》主持人读不到第二页。
推荐理由
以 MIT 教授的第一手讲述梳理 AI 证明 Navier-Stokes 反例后的验证与审稿困境，可帮读者理解生成便宜之后人类价值所在。
来源：Saito 硬地骇客 · x.com