在OpenAI宣布其模型完成纳维-斯托克斯方程相关证明的同一天，美国数学学会发表了一份措辞谨慎的声明。它没有欢呼一台机器解决了百年难题。
学会主席拉维·瓦基尔（Ravi Vakil）与首席执行官约翰·迈耶（John Meier）在联合署名的文字中，把这项成果放回了一条长达两百年的人类脉络里。
声明说，这一历程始于纳维与斯托克斯，经由勒雷与拉多任斯卡娅，在科尔多瓦与马丁内斯-索罗亚的突破后达到高潮，随后阿尔佩格与巴克马斯特在新技术辅助下取得进展，最终由OpenAI的数学家们完成最后一步。
美国数学学会成立于1888年，是这一领域规模最大的专业组织，极少就某项具体成果单独发声。在一个习惯了"AI攻克千禧年难题"式标题的星期里，这份声明的价值恰恰在于它的克制。
一份声明的措辞学
值得逐字阅读的是学会选择的动词。声明使用的是"进展"，而不是"解决"；它把新技术描述为"辅助"，把完成最后一步的主语留给了"OpenAI的数学家们"，而非模型本身。
这不是外交辞令上的敷衍。
更关键的一句是，数学的目的是为了人类的理解。
在这句话的框架下，一个由一万个并发智能体在八十八小时内产出的一百页证明，其意义不取决于它有多快，而取决于人类能否读懂它、检验它、并从中长出新的方法。
这句话与本周公布的另一组数字构成了微妙的对照。
按照OpenAI披露的信息，相关项目于9月1日启动，纳维-斯托克斯部分动用约一万个并发智能体，产生约二百七十万条消息与约一千三百亿输出token，八十八小时后得到证明，Lean验证又耗时十七小时。
规模是空前的，但规模本身并不构成理解。学会同时提醒，这一成就建立在众多人类数学家的努力之上，而不只是人工智能的孤立跃进。
对照争议本身，这句话的现实指向相当明确。
过去两天里，巴克马斯特公开的四页声明与布贝克的公开反驳，已经把优先权、署名与算力方的行为方式推到台前；一份行业学会在此刻强调谱系，等于给功劳分配提供了一个不由公关节奏决定的参照系。
被点名的两百年
被声明点名的每一个名字，都对应着这道难题的一个台阶。纳维在1822年、斯托克斯在1845年先后写下了描述黏性流体运动的方程，它们至今仍是天气预报、飞行器设计与血流模拟的共同地基。
1934年，法国数学家让·勒雷证明了三维纳维-斯托克斯方程弱解的整体存在性，同时指出这类解未必唯一、未必光滑。奇点是否真的会出现，从此成为悬案。
一个多世纪以来，几乎所有重大进展都只是把这道悬案的边界向前挪动了一点点。
苏联数学家奥尔加·拉多任斯卡娅在二十世纪中叶完成了二维情形的整体正则性理论，并系统刻画了三维困难的来源。此后半个多世纪，问题的形态几乎没有改变。
转机来自西班牙数学家科尔多瓦与马丁内斯-索罗亚提出的"加外力"路线，即在方程中引入一个外部作用项，构造出会在有限时间内速度趋于无穷的解。他们此前只能在正则性较低的外力下做到这一点。
阿尔佩格与巴克马斯特把这条路线推进到了光滑外力，并在9月8日公开了针对二维不可压缩多孔介质方程、二维无粘Boussinesq方程组与三维不可压缩欧拉方程的三篇预印本。
三项结果均已在形式化验证系统Lean中通过机器检查，代码公开在GitHub上，陶哲轩在博客中确认了这一点。
OpenAI随后宣布，其内部模型在带外力的三维纳维-斯托克斯方程上完成了同类证明，并称认可前两位学者的优先权。
这里需要一个不受标题欢迎但必须说明的界限。克雷数学研究所悬赏百万美元的千禧年问题，针对的是无外力的纳维-斯托克斯方程；目前所有公开的爆破结果都以人为施加的外力为前提，因此奖金并未被认领。
理解，还是答案
真正的分歧不在于AI能不能做数学，而在于这样做出来的数学属于谁、又留下了什么。菲尔兹奖得主陶哲轩把只求答案的攻关方式比作对遗址的盗掘。
他担心的是，如果把数学难题当作可开采的矿藏，短期内确实会得到答案，但孕育未来洞见的生态可能被掏空。美国数学学会的声明，几乎可以读作对这一担忧的制度性回应。
它没有否认AI的作用，也没有把功劳交给单一主体，而是重申了一个更古老的标准：成果的价值在于它能否被理解，以及它是否为下一步留下了可用的方法。
巴克马斯特本人把这一刻类比为"深蓝对卡斯帕罗夫"。这个比喻的锋利之处在于，深蓝之后，人类并没有停止下棋，但棋手评价一步好棋的方式从此改变了。
另一个正在改变的，是信任本身的形式。Lean形式化让"这个证明是否正确"第一次可以脱离权威背书而独立回答，这也解释了为什么公开代码与不公开证明之间的差别，在这次事件中显得格外刺眼。
阿尔佩格与巴克马斯特公开了论文草稿与全部Lean代码，OpenAI迄今尚未把证明交给外界独立核验。
当写作速度远超阅读速度，可验证性就取代了署名成为学术信誉的第一道关口。
学会的声明里没有出现"争议"二字，但它选择的每一个措辞都在处理争议。
这场风波暴露出的规范真空是具体的：算力提供方在成果中应当占据什么位置，模型接触过的私人草稿如何界定，多方同时逼近同一结论时又该如何协调发布。
在这些问题有答案之前，一份把两百年名字重新排好队的声明，或许是数学界目前能给出的最稳妥的回答。
它提醒所有人，最后一步之所以有分量，是因为前面还有很长的路。
常盈配资提示：文章来自网络，不代表本站观点。
