OpenAI宣布攻克千禧年难题别直接下结论说AI搞定世纪难题。数学不是发布即封神,哪怕有Lean机器校验,顶尖数学家也要逐行找漏洞。现在只是提交答卷,能不能及格、成果归谁,都还在吵。
这个成果是纯数学理论结论,短期内不会直接改变飞机、天气预报的工程仿真;它最大价值是划清NS方程模型本身的适用边界,而不是直接拿来提升流体仿真精度。
OpenAI宣布攻克千禧年难题别直接下结论说AI搞定世纪难题。数学不是发布即封神,哪怕有Lean机器校验,顶尖数学家也要逐行找漏洞。现在只是提交答卷,能不能及格、成果归谁,都还在吵。
这个成果是纯数学理论结论,短期内不会直接改变飞机、天气预报的工程仿真;它最大价值是划清NS方程模型本身的适用边界,而不是直接拿来提升流体仿真精度。