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

MIT 工程教育副院长 Justin Solomon 在播客中谈及 OpenAI 模型解决 Navier-Stokes 方程反例一事，指出由此产生的数学证明人类难以读懂。该讨论聚焦于 AI 在复杂数学问题上的能力边界及可解释性挑战。