Navier-Stokes 难题: 数学家质疑 OpenAI 的证明求解了哪个变体

摘要

两周前，OpenAI 宣称解决了 Navier-Stokes 这一数学难题，可获 Clay 数学研究所 100 万美元悬赏。但其由内部大语言模型生成的证明被许多专家认为不自然：它求解的是一个被数学家视为脱离现实的变体问题，相当于钻了题目表述的漏洞。方程中外部作用力（如重力）一项可有可无；芝加哥大学 Luis Silvestre 称：“Clay 问题已了结，但 Navier-Stokes 方程的主要问题仍未解决。”上周四，三位数学家给出证明，显示 OpenAI 的方法永远无法推广到完整问题，除非出现全新的思路。