AI 真正改变的，也许是人类的尺度

一个人

星级打分

• 1
• 2
• 3
• 4
• 5

平均分:0  参与人数:0  我的评分:未评

过去很长一段时间里，人类讨论人工智能时习惯问一个看上去非常自然的问题：它到底有多强。能不能超过普通人，能不能达到博士水平，能不能在数学奥赛里拿到金牌，能不能像顶尖工程师那样写代码，能不能像科学家那样发现新的知识。这些提问的措辞各不相同，但背后共用同一把尺子，而这把尺子始终是人。到了2026年，尺子本身开始出现问题。


最近数学界发生的一连串事情，把这种变化暴露得格外清楚。9月，OpenAI宣布其内部系统给出了Navier–Stokes千禧年难题的一个完整解答，并同时提供了Lean形式化证明；OpenAI自己也强调，这一结果仍需数学共同体检验，并表示不会申领相应的百万美元奖金。几天前，Nature报道Anthropic的Claude在11天内完成了费马大定理已有证明的大规模形式化工作，最终生成约1300万行可由计算机检查的证明。更早之前，OpenAI已经公布过十项数学与理论计算机科学方面的进展，其中包括对若干长期开放问题的解决或实质推进。

2 k0 O  o& k& ]9 _9 R2 m真正值得注意的并不是这些排行榜式的数字，而是数学家的反应。Cornell的数学家Steven Strogatz在谈及这些进展时公开表达了强烈的不安，一边是科学意义上的兴奋，一边是非常真实的个人冲击。今年6月发布、并获得International Mathematical Union支持的Leiden Declaration同样明确承认，AI已经在数学共同体内部同时制造出兴奋、压力、冷漠与担忧这几种并存的情绪。到了今年夏天的国际数学家大会，被反复讨论的问题甚至不再是"AI能不能做数学"，而变成了"如果机器越来越能做数学，人为什么还要做数学"。
4 a- ~4 ]2 g( }, _) N
* k* i, s: u, r/ e7 ]4 i这可能比某一道难题是否被解决更重要。因为数学界正在最早经历一件未来几乎所有知识行业都会经历的事情：人类正在失去作为"智能默认计量单位"的垄断地位。
3 E9 A6 s  c% W5 T
  Q- M3 w7 l5 V3 t# e1 n3 ]一、"AI太快了"，首先是一句人类语言
& W! ^( I9 f, {6 d, e
2 b) [; O0 d7 x9 x2 ^我们经常说AI发展得太快。但"快"从来不是一个独立成立的判断，它必须有参照系。一个数学家用十年解决一个问题，我们会认为这是伟大的工作；如果一个系统在十天内找到答案，我们会说它快得不可思议。可是为什么十年正常，而十天不正常？"十年才算正常"并不是宇宙规律，它只是人类这一种生物载体所形成的认知时间尺度。
9 r8 D; O9 x- d; Z# [
人的大脑需要休息和睡眠，需要童年、教育与社会化，需要若干年才能真正进入一个领域，需要几十年才能形成稳定的专业判断。一个数学家每天能够高强度思考的时间是有限的，他无法复制一万个自己去同时尝试一万条证明路径，也无法在一分钟内把二十年积累的直觉传输给另外一万个人。几千年来，人类知识生产的速度就这样与人的生理结构绑定在一起，我们逐渐习惯了这个速度，并且不知不觉把它误认成知识本身的速度。

于是当一道问题五十年没有被解决，我们很容易说：这是一个需要五十年才能解决的问题。但严格来说，这句话并不成立。我们真正知道的只是：**在由人类组成的认知系统中，这个问题五十年没有被解决。**这里混合了两件本质不同的事情——问题自身的复杂度，与人类认知系统的吞吐能力。过去之所以极少有人区分这两者，是因为我们手上只有一个样本。现在第二种大规模认知机制开始进入现场，这个区别才第一次真正显现出来。

因此，把AI描述成"一个跑得特别快的人"是一种理解上的偷懒。一种可以并行搜索、复制上下文、快速验证、持续运行，并以完全不同于生物大脑的方式组织知识的系统，与人的差别并不在速度这一个维度上。继续追问它为什么比人快，有点像追问飞机为什么不能按照人奔跑的姿态飞行。飞机不是跑得特别快的人，它根本就不是靠腿工作的。

4 [4 P: G0 u6 ~" v' f( C  G二、被误认为"难度"的，往往是人的限制

顺着这条线索往下，会出现一个相当有意思的哲学转折：我们通常所说的"困难"，多数时候描述的是一种关系，而不是事物本身的属性。心算几百位整数的乘法对人极其困难，对计算机几乎不构成问题；理解一句带讽刺意味的话对成年人自然到无需思考，对早期机器系统却长期难以逾越。一个三岁孩子能在杂乱的房间里避开桌角、拿起杯子、并判断母亲是不是生气了，其中同时涉及视觉、物理、身体控制、社会理解与因果推断，但没有人会因此称他为超级智能。原因很简单：人类习惯把自己擅长的事情定义为普通能力，把自己不擅长的事情定义为高难度能力。这是一种极其自然、也极难察觉的人类中心主义。
, P' P8 h# ^% }+ X3 P/ }, B4 U
) k6 P9 i3 x( o( G  j数学是这种倾向最典型的场域。数学在人类文明中拥有如此崇高的智力地位，不只因为它重要，也因为它长期极度稀缺。能够理解高等数学的人本就不多，能够进入研究前沿的人更少，能够推动一个重要方向前进的人少之又少。一个顶尖数学家的能力背后，往往站着二十年甚至三十年的训练成本。久而久之，我们把这种高昂的人类获得成本，理解成了这项能力本身必然具备的绝对价值。
' h3 X3 w1 x  ?2 `5 D
AI正在第一次迫使我们把两者分开：**Capability Cost与Capability Value并不是同一件事。**一种能力对人类而言需要二十年才能获得，并不意味着另一种认知载体也必须支付同样的代价。搬运十吨货物对人极其困难，但起重机不会因此认为自己是天才。它只是不在同一套成本结构里工作。
2 s6 z1 b$ E/ @3 C. u3 d9 j
" ~1 v& L& H+ s三、数学家的不安，并不荒谬
" X, j) K7 H# Q! C( E5 I# ~
正因如此，我们没有理由嘲笑数学家的焦虑，那其实是一种相当理性的反应。一个人可能十几岁开始学数学，二十几岁读博士，三十几岁建立自己的研究方向，四十岁之后才真正拥有稳定的学术判断力；而一个职业共同体用几百年时间建立了论文、期刊、同行评审、学术声誉、问题选择与荣誉分配的整套秩序。这些制度都建立在一个从未被写进条文的前提之上：高质量的数学知识是稀缺的，而且产生得很慢。

) N0 E! e/ |% d! B一旦这个前提开始松动，受冲击的显然不只是做题的方式，而是整个价值结构。如果过去一个数学家一年能提出一个重要结果已属优秀，而一个系统可以同时探索上千条研究路径，那么谁来判断哪些结果值得被看见？如果证明的生成开始变得便宜，而验证、解释、组织与选择依然昂贵，数学家的工作是否会从"生产证明"逐渐转向"判断哪些证明值得进入人类的知识体系"？今年国际数学家大会上已经出现了类似的担忧：数学界未来面对的可能不是证明的匮乏，而是候选结果的过剩，而期刊、评审机制与年轻研究者的成长路径都将因此承压。

所以，一个数学家的不安不能被简单归结为守旧。受到挑战的不仅是收入，还有身份、位置，以及几十年投入所换来的那种确定感。任何人在这种处境下都会产生心理冲击，这种反应的存在本身就有充分的理由。但这里需要保持一个经常被混淆的区分：**能够理解一种反应为什么存在，并不等于这种反应所维护的旧秩序就应当被永久保留。**成熟的态度是在两端之间保持张力——既不因为同情旧职业而否认技术变化，也不因为技术进步而轻视人的心理、尊严与历史投入。
4 J* h8 t8 u2 _4 ?
四、AI降低的不是能力，而是能力的稀缺性
) i9 t5 A0 ]& V4 k' w5 }
从商业视角看，这一层最为关键。技术革命真正改变市场，往往不是因为某样东西突然变得更厉害，而是因为原本稀缺的东西不再稀缺。工业革命降低了肌肉力量的稀缺性，计算机降低了运算能力的稀缺性，互联网降低了信息复制与传播的稀缺性，云计算降低了获得计算基础设施的稀缺性。AI正在降低的，是一部分认知能力的稀缺性。写代码、翻译、整理资料、生成设计、检索知识、分析数据，以及如今越来越显眼的数学推理与科学探索，都在进入同一个过程。
- ^! s4 r- s& S, W* G8 ~1 x
在这个判断面前，最容易犯的错误是继续纠缠"AI到底有没有真正达到专家水平"。商业世界真正应该问的是另一个问题：**如果过去需要一个专家花一天完成的工作，现在一个普通人借助AI一小时就能完成，那么这项能力的市场稀缺性发生了什么变化？**市场从不等待哲学争论结束再重新定价。一项能力是否伴随主观意识，对它的价格几乎不产生影响；只要足够多的人能以更低成本获得相似结果，稀缺性就已经改变。

因此，AI对职业最大的冲击未必是"机器取代人"这种直白的替换，而是专业价值的重新排序。过去最值钱的是"我能够做出来"；未来越来越值钱的，可能是我知道什么值得做、我知道结果在什么时候是错的、我知道该提出什么问题、我能理解一个结论意味着什么，以及我能在现实约束下承担后果。当Production of Intelligence持续变得便宜，Judgment、Selection、Responsibility与Meaning反而可能变得更加昂贵。

; L9 u" Q# _( }$ ^( Y& Y1 U五、我们正在经历的，是一次尺度迁移
% v% ~- h* Z) {4 b, a, v+ @  e, P( ^
. o  B; z6 h6 L: {, F, j0 Z1 y回过头看，"AI太快""AI太强"这类说法很可能只属于一个过渡时代的语言。汽车刚出现时，人类用"多少匹马力"理解发动机——面对一种全新的动力系统，第一反应不是建立新的框架，而是问它相当于多少匹马。今天我们谈论AI的方式与此高度相似：相当于高中生，相当于博士，超过90%的程序员，达到奥赛金牌水平，胜过普通医生。这些描述并没有错，它们在认知的早期阶段非常有用，帮助人快速把陌生事物纳入已有经验。但它们终究是脚手架，而不是建筑本身。最终没有人真的认为一辆汽车里住着三百匹马。
* x8 u) }# e' Y
% L2 ~& A) g9 p; p! J% |更成熟的评价方式，或许会逐渐转向另一组问题：它在什么任务空间中拥有怎样的能力，它需要消耗什么资源，它能够连续运行多久，它的错误结构是什么样的，它能否验证自己的结果，它在什么条件下可靠，以及它的行为能对现实造成多大影响。到那时"强"与"弱"依然存在，但参照物不再天然是人。

这里需要的态度，既不是对机器的谦卑崇拜，也不是自我贬低，而是一种更大度的工程理性：我们不必要求所有智能都长得像人，不必要求所有认知都按照人的时间运行，不必因为机器在某个维度超过人就认定人的价值随之消失，也不必为了维护人的特殊性而反复修改"真正的智能""真正的创造""真正的理解"的定义。一个文明在这种时刻能做的最体面的事情，是承认认知形态正在扩展，然后重新定义坐标系。这不是人类退位，而是人类开始接受世界不再只有一个认知坐标原点。
4 ]* T0 b! ?7 E4 d0 O
六、真正需要重设的，可能是人类制度的时钟
: W3 v* H- b% l0 O# H! n. F
比职业冲击更深一层的，是制度问题。现代社会几乎所有制度都是按人的时间尺度设计出来的：企业审批以小时和天计，科研与同行评审以月和年计，监管以月和年计，法律制定以年计，教育体系以十几年计，而一名专业人才的培养甚至需要几十年。过去这套安排并没有明显的张力，因为行动者本身也是人，控制系统与行动系统大体运行在同一个数量级上。
) H0 j( h( F. F) R# J, g
' _' }: [6 ^& \( ]但如果另一种认知系统可以在数小时内完成一个团队几个月的探索，可以在一个季度内产生一个领域过去数年才能积累的候选结果，两者之间的间距就不再是简单的快慢之差。我们习惯说AI Capability发展得太快，而Safety、Governance与Regulation太慢；更准确的描述也许是，这两个系统已经开始运行在不同的时间尺度上。一个仍然按照会议、审批、论文、法律与组织周期运转，另一个正在按照计算、并行、推理调用与持续运行的节奏行动。

于是真正的问题并不是"AI为什么这么快"，而是：**人类社会的控制、验证、评价与治理系统，是否还在按照旧的人类时钟运行？**这不是一个可以靠呼吁减速解决的问题，它要求的是重新设计——重新设计验证的方式，重新设计责任的归属，重新设计什么样的评价机制能够在结果远多于注意力的世界里仍然有效。这可能才是这个时代最实质的制度挑战之一。

2 o4 f6 [4 t& F, D七、人类失去的不是价值，而是作为唯一尺度的特权
' ~# O$ S1 Z2 e) w4 E7 n: V' O$ X
" C* L% l/ a0 n) E( t数学之所以最早感受到震动，是因为它同时具备清晰的问题、可验证的答案、极高的专业门槛，以及长期以来最强的人类智力象征意义。当AI真正进入这个领域，不适感必然格外强烈。但这种不适未必意味着数学失去了意义，它更像是迫使我们重新回答一个从未被认真回答过的问题：人为什么要做数学？如果答案仅仅是"因为只有人能解决这些问题"，那么AI确实构成威胁；但如果数学同时还是一种理解世界的方法、一种审美、一种好奇心、一种人类组织抽象结构的方式，那么机器能做数学，并不会让人做数学变得无意义。汽车跑得比人快没有终结跑步，相机比人画得快没有终结绘画，计算器比任何人算得快也没有让数字失去意义。真正消失的，往往不是活动本身，而是人类曾经围绕稀缺性建立起来的那一层价值结构。

因此，未来首先需要改变的可能不是机器，而是我们的语言。我们需要慢慢停止把人的学习周期当作知识的自然周期，停止把人的认知速度当作智能的正常速度，停止把人的困难当作问题本身的困难，也停止把一个职业几十年形成的稀缺性误认为永恒不变的价值。AI真正挑战的，也许从来不是人类的智能上限，而是人类作为"智能度量单位"的地位。
. p3 O/ ^' b, t" e) R+ I' Q, o9 d
! a0 O3 [+ {& V但失去唯一度量单位的地位，并不等于失去价值。它只是意味着，人类第一次需要以更大的尺度去理解"智慧"本身——理解它可以有不止一种形态，不止一种时间节奏，不止一条通往结果的路径。一个文明真正的强大，或许恰恰体现在这里：当它创造出一种与自己截然不同的认知系统之后，仍然有能力重新理解自己，而不是要求新的世界继续按照旧的尺度运行。

数学界今天发生的一切，只是这次尺度迁移最早、也最清晰的一次显影。
5 _& Y  w/ D, W/ S0 d
: p/ X0 [( n2 G' G- k