OpenAI声称证明了克雷数学研究所千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题,但专家指出其解法与现实脱节。该LLM生成证明通过引入经典方程中不存在的力,利用了问题表述中的漏洞,引发人们对AI能否真正解决深刻数学问题的质疑。
背景
纳维-斯托克斯存在性与光滑性问题是克雷数学研究所七个千禧年大奖难题之一,奖金100万美元,至今仍未解决,是理解流体动力学的核心问题。
- 来源
- Lobsters
- 发布时间
- 2026年9月23日 02:22
- 评分
- 6.0 / 10
OpenAI声称证明了克雷数学研究所千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题,但专家指出其解法与现实脱节。该LLM生成证明通过引入经典方程中不存在的力,利用了问题表述中的漏洞,引发人们对AI能否真正解决深刻数学问题的质疑。
纳维-斯托克斯存在性与光滑性问题是克雷数学研究所七个千禧年大奖难题之一,奖金100万美元,至今仍未解决,是理解流体动力学的核心问题。