返回精选
Saito 硬地骇客SaitoWu2026-10-10 21:564 天前

MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例:人类读不懂的证明来了

AI 写出的那份证明,MIT 教授也读不过第二页

AI 导读

MIT 工程教育副院长 Justin Solomon 在播客中谈到,OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明,但他和《Odd Lots》主持人读不到第二页。

来源:Saito 硬地骇客 · x.com

事件后续1

查看事件全部

看完资讯,聊聊你的企业

一对一,30 分钟让你的企业用 AI 推动起来。

WECHAT

添加我的微信

长按或选中下方微信号复制。