MIT教授：OpenAI 攻克千禧年难题 Navier-Stokes 方程，人类却已读不懂证明

OpenAI 模型给出千禧年大奖难题 Navier-Stokes 方程解失效的反例证明，但 MIT 教授 Justin Solomon 读到第二页便无法理解，只能承认"大概是对的"。陶哲轩在 Math 2.0 演讲中用"AI 开出通过 FDA 三期临床的癌症配方"思想实验，指出 AI 对齐与可解释性困境。ICLR 投稿量十年间从一两千份暴增至六万份，人类验证能力已跟不上 AI 生成速度。