先了解这件事
MIT 工程教育副院长 Justin Solomon 在播客中称，OpenAI 模型上个月给出了纳维-斯托克斯方程解失效的反例证明，但他与《Odd Lots》主持人读到第二页就读不下去了。
这一说法指向该证明的可读性问题：证明由 AI 生成，人类专家难以理解其后续推导，因此其正确性尚未得到独立确认。
AI 根据报道生成 · 4 天前更新最新进展
MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了
热度走势
事件进展1
MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了
Saito 硬地骇客：MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了