OpenAI内部模型据称攻克纳维-斯托克斯外力驱动爆破解题路径
纽约大学数学家 Tristan Buckmaster 披露,OpenAI 一款内部模型据称已就纳维-斯托克斯方程外力驱动情形给出约 100 页证明,目标指向千禧年难题的一条官方允许路线。Buckmaster 同时与 Levent Alpöge 公布了在 LLM 帮助下完成的三类流体方程有限时间爆破结果,并上线论文与 Lean 形式化代码。围绕 OpenAI 结果的来源、训练是否涉及用户数据,以及署名安排,Buckmaster 还公开了与 OpenAI 的沟通经过。








