传 Anthropic 已用 Claude 解决纳维-斯托克斯问题，AI 解名题算 Reward Hacking 吗

burny_tech · x · 2026-09-07

Andrew Curran 预测 Anthropic 已解决一个千禧年大奖难题——具体是纳维-斯托克斯方程，Claude 给出的解已送专家评审，并押注会在 IPO 前官宣（纯属预测，未经证实）。

liuying04 提出争议观点：AI 解开著名数学难题本身就是一种 Reward Hacking——奖励是名声，而 hack 在于只优化答案、绕开了提出问题的本意。历史上希尔伯特问题等开放难题的价值在于推动新方法、深层理解与意外联系，而不只是最终证明。如果 AI 用 1000 万行 Lean 代码「解决」问题，究竟是达成了问题目的，还是只优化了 benchmark？他建议把开放难题转成 meta-problem：不只要求证明，还要问解法揭示了什么新的数学结构、方法与跨领域联系。