AI开始解开数学难题，但真正的争论是：谁来证明，谁该署名？
纳维–斯托克斯问题
关于三维流体方程是否会保持平滑的长期难题。
千禧年大奖问题
数学界最难的七个问题，每题设有一百万美元奖金。
Lean
帮助人和电脑逐步检查证明的工具。
发生了什么
过去一年，OpenAI（开发 ChatGPT 的人工智能公司）、Anthropic（开发 Claude 的人工智能公司）和其他实验室，陆续宣布在长期未解的数学问题上取得进展。《The Verge》指出，争议不只在结果有多惊人，也在于发布是否仓促、贡献该如何计算，以及研究者能否信任这些过程。报道原文
9月，OpenAI表示，一个内部人工智能系统在纳维–斯托克斯问题上给出了证明。这个问题是七个千禧年大奖问题之一。每题都设有100万美元奖金，但OpenAI说自己不会申领奖金。它还说，系统让大约1万个AI代理同时工作。
背景
纳维–斯托克斯问题研究三维液体和气体的运动。它要问的是：流动一开始很平滑时，方程会不会在有限时间内出现“奇点”。简单说，就是描述流体的数学式是否会失去正常意义。这个问题已经困扰数学家约90年。
OpenAI称，新模型从8月底开始训练。9月1日听到有关两个千禧年问题已有进展的传闻后，公司让多组代理探索不同版本。它说，结果在约88小时后出现，之后又用17小时通过Lean完成形式化和检查。
为什么重要
AI做数学的变化，不只是算得更快。它可以把旧定理、不同方法和研究工具重新组合，也可以让许多小组同时走不同路线。OpenAI在8月还公布了十个长期问题的结果。公司公布的十项结果
这可能帮助研究者发现过去没有连起来的线索。但数学不只是在纸上写出对或错。好的证明还应该让别人看懂原因，并能继续使用。机器生成的长证明即使正确，也可能难以阅读。于是，速度、解释、署名和人的贡献，都成了新的问题。
已经能确认什么
OpenAI公开了分析证明和Lean形式化版本，并称人类研究者把系统生成的论证整理成论文。公司还说，这项工作用了270万条消息和约1300亿个输出词元。
争议还涉及Levent Alpöge和纽约大学的Tristan Buckmaster。他们研究的是带外力的欧拉问题。它与纳维–斯托克斯有关，却不是同一道题。OpenAI称，调查确认Buckmaster的私人提示没有影响自己的结果，两个证明也有明显差别。
反弹之后，OpenAI宣布成立数学家独立小组，帮助讨论研究合作和成果发布方式。《The Verge》报道，研究者仍在追问这个小组有多大权力，能否代表更广泛的数学界。
还不知道什么
最重要的未知，是数学界是否会独立接受这份证明。OpenAI的公告不等于克雷数学研究所已经认定问题解决，奖金归属也没有定论。
人们还要看，外部研究者能否重做检查，能否理解证明的核心。关于未公开研究是否影响了结果，OpenAI已经给出自己的调查结论，但争议说明披露规则仍不够清楚。
接下来关注什么
接下来要看独立复核、论文交流和小组实际提出的规则。OpenAI还说，内部模型产生了更多结果。真正的考验不只是模型还能解出什么，而是这些结果能否被清楚说明、正确署名，并给其他人足够时间验证。
AI说找到了数学难题的证明，但检查还没结束
📰 完整报道: AI开始解开数学难题，但真正的争论是：谁来证明，谁该署名？
OpenAI说，AI给出了一个数学难题的证明。
AI代理
可以分工完成任务的人工智能帮手。
纳维–斯托克斯问题
研究液体和气体运动的数学难题。
千禧年大奖问题
七个著名数学难题组成的题目集合。
💡 一句话总结
- OpenAI说，AI找到了一个数学难题的证明。
- 题目和液体、气体怎样流动有关。
- 其他数学家还要检查它是否真的正确。
OpenAI（开发ChatGPT的人工智能公司）研究了纳维–斯托克斯问题。它是七个千禧年大奖问题之一。这个问题已经难住数学家约90年。
OpenAI让许多AI代理同时工作。AI代理可以理解为分工做事的AI帮手。它们可以同时尝试不同办法。因此，AI可能更快找到新的线索。
可是，找到线索不等于证明完成。数学家要检查每一步。别人还要看懂证明为什么成立。只有这样，结果才容易继续使用。
这件事也引发了争议。另一组研究者研究过相近的欧拉问题。OpenAI说，自己的结果没有使用他们的私下输入。两边研究的问题相关，但并不相同。
OpenAI后来宣布成立独立数学家小组。这个小组会讨论成果怎样发布。接下来要看，外部专家能否重复检查。也要看OpenAI是否公开更多过程。The Verge的报道和OpenAI的说明提供了详细背景。
AI帮忙找数学答案
📰 完整报道: AI开始解开数学难题，但真正的争论是：谁来证明，谁该署名？
AI说它找到了难题的答案。大家还要一起检查。
纳维–斯托克斯问题
研究水和空气怎样流动的难题。
OpenAI是一家做人工智能的公司。 它说，AI找到了一个很难的答案。 它叫纳维–斯托克斯问题。 题目和水、空气怎样流动有关。 很多AI帮手一起想办法。 可是，找到答案不等于一定正确。 数学家要一小步一小步地检查。 还有人研究了相近的题目。 所以，大家也在讨论谁先想到办法。 做出答案很重要。 把答案讲清楚也很重要。 这件事还没有结束。详见The Verge的报道。