AI攻克数学难题，人类至今一无所获

OpenAI宣称其AI模型攻克了数学界最难的未解难题之一纳维-斯托克斯方程，但数学家们发现，这份由AI生成的166页证明虽然技术上可能正确，却几乎无法被人类读懂，更谈不上从中获得任何实质性的数学理解。牛津大学数学家詹姆斯·梅纳德直言，这份论文根本不是写给人类看的。布朗大学的哈维尔·戈麦斯-塞拉诺则表示，经过大量重写后它或许能推动领域发展，但就目前而言，这篇论文什么也没教会我们。 这场风波的核心在于AI与人类数学家之间的协作方式出了大问题。纳维-斯托克斯方程是描述流体运动的基础工具，广泛应用于物理和工程领域，但研究者至今不理解它为何在根本层面上成立。谁能解释方程在什么条件下会崩溃失效，就能拿到克雷数学研究所悬赏100万美元的千禧年大奖。OpenAI的AI模型据称找到了这样的证明，而与此同时，人类数学家也正在逼近答案。25位菲尔兹奖得主联合发表声明，批评AI公司与数学界之间存在目标错位，原本可以成为人机协作典范的事件，最终演变成一场混乱的争夺战。OpenAI随后宣布成立独立数学顾问小组，但明确表示该小组无权干预公司推进数学研究的节奏。这一表态进一步加深了学术界的疑虑：当商业公司以竞赛速度推进基础科学发现时，人类是否还有能力消化和理解这些成果？对于关注AI能力的跨境电商和出海从业者来说，这件事提供了一个重要参照：AI能产出结果，不等于人类能利用结果。工具再强大，从生成到落地之间，仍隔着理解、验证和再创造的距离。