改变高数领域… OpenAI：新AI破解数学「千禧年难题」

OpenAI称，最新AI技术已破解「纳维-斯托克斯」数学难题。(路透)

人工智能(AI)公司OpenAI宣布，最新AI技术已经破解数学界「千禧年大奖难题」(Millennium Problems)其中一道题目。纽约时报8日分析，这项宣布，象征人工智能正在从根本上改变高等数学领域，OpenAI的声明是到目前为止最充满戏剧化的征兆，如此变化让某些数学家感到振奋，但也引发其他人士担忧。

「千禧年大奖难题」是一系列重要但尚未破解的数学问题，成立宗旨在于让全世界顶尖数学家迈向新高度。

OpenAI研究员布贝克(Sébastien Bubeck)谈到破解难题时说：「我们过去一年里看到的进展终于水到渠成，有了精彩结果。」

OpenAI在声明中说，公司最新款AI模型之一只花88小时就破解了科学家所说的「纳维-斯托克斯存在性与光滑性问题」(Navier–Stokes existence and smoothness problem)。这个问题涉及一系列经常用来预测天气的方程序，方程序描述水与其他流体的运动。

纳维-斯托克斯问题虽然没有明确的实用价值，但探索重点在于这些方程序是否将在某些情况下完全失效。OpenAI证明已经为这种情况找到定义，至少从理论上看，物理定律本身会在特定条件下失效，例如水可能会变成自动爆炸。

数学家与物理学家并不认为这种数学上的失效将导致现实的物理世界也出现相同结果。

纳维-斯托克斯问题是「克雷数学研究所」(Clay Mathematics Institute)2000年推出的「千禧年大奖难题」七项难题之一。研究所是以美国企业家克雷(Landon T. Clay)名字，最先破解每道难题正确解法的挑战者可获100万奖金。OpenAI宣布破解纳维-斯托克斯问题之前，只有一道难题获得破解。

著名数学家、洛杉矶加大(UCLA)教授陶哲轩(Terence Tao)表示，这些难题就像灯塔一样，是吸引人类科学家投入心血的主要焦点。陶哲轩等数学家曾经公开警告最新AI系统最终恐将伤害数学领域。他说，如果AI技术能在不太需要人类数学家参与之下解决最棘手的难题，今后恐将削减人类对数学领域的理解。