OpenAI轰动数学界的纳维-斯托克斯方程证明真相揭晓

数学界终于开始理清几十年来该领域最轰动事件的头绪——而它的真相远比任何人想象的都要离奇。

今年9月初，OpenAI发布了一份长达166页、令人费解的解决方案，攻克了数学界著名的“百万美元难题”之一——纳维-斯托克斯方程（Navier-Stokes problem）。最初的报道（包括该公司自己的说法）表明，这项由其内部大语言模型（LLM）生成的证明，遵循了两位西班牙数学家迭戈·科尔多瓦（Diego Córdoba）和路易斯·马丁内斯-佐罗亚（Luis Martínez-Zoroa）所设计的方法。

然而，随着数学家们对这一轰动性成果的深入剖析，传言中关于人工智能“窃取”或直接复现两位数学家工作的说法似乎被夸大了。这一进展不仅标志着人工智能在纯数学推理领域的重要里程碑，也引发了学术界对AI生成证明的原创性与实际路径的深刻反思。