返回 AI 情报
精选2026-10-10T13:56:02.000ZSaito 硬地骇客
MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了
AI 写出的那份证明，MIT 教授也读不过第二页
AI 摘要
MIT 工程教育副院长 Justin Solomon 在播客中谈到，OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明，但他和《Odd Lots》主持人读不到第二页。
正文 · AI 翻译
https://x.com/i/article/2108918105854578688
原文
Original Title
AI 写出的那份证明，MIT 教授也读不过第二页
Source
Saito 硬地骇客
Site
x.com
Published
2026-10-10T13:56:02.000Z