美国数学界正面回应OpenAI|人类认知里程碑
接上篇笔记的OpenAI重磅新闻
美国数学学会(AMS)公开回应了 Navier–Stokes 问题的最新进展。
其中有一句话,我觉得分量极重:
“This represents a milestone advance in human knowledge.” 这是人类知识的一次里程碑式进展。
这句话的意义,可能比“AI用了多少小时”“动用了多少Agent”更值得讨论。
数学界最重要的专业组织之一开始公开评价这项进展,并且把它放进了数学史的长链条里。
AMS提到的不是只有OpenAI。
它从 Navier、Stokes、Leray、Ladyzhenskaya,一路讲到 Córdoba、Martínez-Zoroa、Alpöge、Buckmaster,再到 OpenAI 数学家的“最后步骤”。
这其实纠正了一个很容易被互联网传播夸张的叙事:不是AI凭空出现,88小时击败了人类90年的数学。
真正发生的是——人类几代数学家用了几十年甚至上百年,一层一层搭起理论大厦。无数论文、失败路线、关键定理、数学直觉,把未知空间不断压缩。
而今天,前沿AI第一次以极高强度进入了这条知识链条,并可能完成了一次前所未有的“最后加速”。
这意味着未来真正改变科研的,不是:AI替代科学家。
而是:科学家 + 数千个AI Agent,形成一种过去根本不存在的新型科研组织。不同路线之间还能不断交换信息、淘汰失败方向、集中资源攻击最有希望的路径。
科研第一次可能开始拥有类似“并行计算”的能力。
但AMS的声明里,还有一句我觉得比所有AI参数都更重要的话:
“The purpose of mathematics is human understanding.”即:数学的目的,是人类的理解。
这句话放在今天,尤其意味深长。
因为假设未来AI可以不断产生正确证明——
一年解决100个开放问题,
生成10000个新定理,
甚至机器可以证明一些全世界没有几个人真正看得懂的东西……
那我们必须重新回答一个问题:
“证明一个结论”和“理解一个结论”,究竟是不是同一件事?
AI可能把人类带入一个非常奇怪的时代:
答案开始变得丰富,
而真正稀缺的,变成——理解。
AI 人工智能 OpenAI 数学 NavierStokes 美国数学学会 科学前沿 AGI
