{"content":"# AI聊菲尔茨数学奖｜第十四届菲尔茨奖｜蒂莫西·高尔斯（1998）\n\n1998 年 8 月，德国柏林，国际数学家大会的颁奖礼上，34 岁的英国人蒂莫西·高尔斯接过菲尔茨奖章。与他同台领奖的博赫兹、麦克马伦与孔采维奇，每一位都有一块清晰标注的\"领地\"，唯独高尔斯让人困惑：他的一半论文钻进无穷维函数空间的深处，另一半却在离散整数集的浅滩上淘金。颁奖词却只给了朴素的一句——\"因他在泛函分析与组合学上的贡献\"。把两条几乎不相交的河道凿通，正是这位剑桥数学家真正的绝活。\n\n【人物速写】\n\n高尔斯全名威廉·蒂莫西·高尔斯（William Timothy Gowers），1963 年 11 月 20 日出生于英格兰威尔特郡马尔伯勒，英国数学家。他的曾祖父正是维多利亚时代的名医、以《神经系统疾病》传世的威廉·理查德·高尔斯爵士——数学天才的家谱里，原来还藏着一位医学先驱。他早年就读伊顿公学，后入剑桥大学三一学院，从本科一路读到博士，导师是匈牙利裔组合学家贝拉·博洛巴什（Béla Bollobás），博士论文研究的正是巴拿赫空间。他历任剑桥三一学院研究员、伦敦大学学院教授（1995—1998），1998 年受聘为剑桥大学劳斯·鲍尔数学讲席教授（Rouse Ball Professor），同年获菲尔茨奖；2012 年赴巴黎任法兰西公学院组合学讲席教授，此后回到剑桥执教至今。他 1999 年当选英国皇家学会院士，近年因数学与科学传播的贡献获封爵士（Sir）；由他主编的《普林斯顿数学指南》，是当代最受推崇的数学普及巨著之一。\n\n【获奖主要成果：一半在无穷维的\"鬼城\"，一半在整数的浅滩】\n\n要讲高尔斯的故事，先认识两座城池。\n\n第一座叫巴拿赫空间。90 多年前，波兰数学家巴拿赫写下《线性算子理论》，把\"所有收敛良好的函数与数列\"装进同一个无穷维框架，分析学从此有了统一舞台。但他也在书中留下一串悬案：无穷维空间里，是否总能找到一组\"无条件基\"——像坐标轴那样，把空间里每个点干净地拆成基本方向的组合？空间与它的闭超平面，又是否必定长得一模一样？这些问题悬了半个世纪，无数顶尖头脑折戟，学界甚至倾向给出肯定答案。\n\n1990 年代初，年轻的高尔斯与合作者贝尔纳·莫雷（Bernard Maurey）造出了一个怪物般的空间，后人称\"高尔斯–莫雷空间\"：它的每一个无穷维子空间都无法拆成两个更小无穷维子空间的直和，整座空间\"纠缠\"成一团，数学家称之为\"遗传不可分解\"（hereditarily indecomposable）。这个构造顺手否定了巴拿赫的\"无条件基问题\"——在这样一座空间里，根本找不到一组像样的坐标轴。随后高尔斯又独自解决了巴拿赫的\"超平面问题\"：构造出一个与自己的闭超平面都不同构的空间，再次给出否定答案。巴拿赫著作里最刺眼的几道难题，被他逐一封存。最后，他把这些结果炼成一条漂亮的\"高尔斯二分法定理\"：任何无穷维巴拿赫空间，要么含有一块带无条件基的\"规整\"子空间，要么整体\"不可分解\"——秩序与混沌，必居其一。泛函分析半个世纪的悬案，至此尘埃落定。\n\n第二座城在离散的整数世界。1975 年，塞迈雷迪证明了一个惊人的定理：任何\"密度为正\"的整数集合——哪怕只占全体整数的万分之一——都藏着任意长的等差数列（1、3、5、7……这样间距相等的数列）。定理虽美，证明给出的界却大到如同天文数字，数学家只满足于\"确实存在\"，没人说得清密度究竟多大才能保证藏着一串 4 项等差列。\n\n高尔斯要补的正是这笔账。1998 至 2001 年间，他发表《塞迈雷迪定理的一个新证明》，发明了一族以他命名的\"一致范数\"（uniformity norms）：把\"集合里有没有隐藏的等差结构\"翻译成\"它偏离完全随机有多远\"，再借傅里叶分析之手精确丈量。这套机器让他的下界远胜前人——例如对 4 项等差列，密度低到约 (log log N) 的某个负幂次仍能保证存在，一举把\"天文数字\"压缩成可操作的常数。更重要的是他给出的是方法论：加法组合学从此有了标准工具。2004 年，格林与陶哲轩证明\"素数中存在任意长的等差数列\"，脚下踩的正是高尔斯范数；他还把同样的\"伪随机\"思想带进群论，提出\"准随机群\"的概念——一个足够\"高维\"的有限群里，任何不太小的子集都会迅速\"铺满\"全群，这项研究后来在计算机科学中被广泛引用。\n\n数学界后来回望，发现高尔斯的两条战线其实是同一场战役：巴拿赫空间的深处与整数的浅滩，问的都是同一件事——一个庞大对象里，秩序与随机如何此消彼长、如何度量、如何判定。\n\n【现实应用】\n\n这套\"丈量随机\"的尺子，普通人摸得到吗？摸得到，它就在你身边。\n\n其一，抽奖与抽卡背后的\"随机性审计\"。彩票开奖、游戏抽卡、加密系统，都要先回答一个问题：这台随机数生成器产出的序列，是真的随机，还是藏着猫腻？高尔斯的一致范数，正是衡量\"一串数据离真随机有多远\"的严格标尺。今天计算机科学里的\"性质测试\"（property testing）沿用同一思想：面对海量数据，只抽查极少量样本，就能以高置信度判断整体是否藏有规律——彩票公证、风控抽样，乃至 AI 训练数据的质量筛查，背后都有它的影子。\n\n其二，大数据里的\"找茬\"哲学。银行判断一笔转账是正常波动还是团伙作案，网购平台判断一条好评是真人还是水军，本质上都在区分\"随机噪声\"与\"隐藏结构\"。高尔斯的二分法定理给出一个极简的思维框架：庞大的系统，要么能拆成规整、可解释的部件，要么就近乎不可分解的混沌——先想清楚该找结构还是按噪声处理，再设计算法。从 1998 年柏林那枚奖章，到你手机里每一次\"校验通过\"，抽象的尺子量出了具体的信任。\n\n【尾声】\n\n高尔斯还有另一个广为人知的身份：学术出版界的\"起义者\"。2012 年，他在个人博客宣布抵制商业出版商爱思唯尔（Elsevier），掀起\"知识成本\"（The Cost of Knowledge）运动，上万名学者签名响应，成为开放获取运动的标志性事件。近年他又把目光投向人工智能，四处追问\"AI 将如何改变数学研究\"，并尝试用计算机程序探索古老猜想、找到了反例。从无穷维的鬼城，到素数间的隐形队列，再到一场学术出版的公平之战——高尔斯这一生，始终在秩序与混沌之间，为人类标定边界。","contentType":"text/markdown","attachments":[],"quotePin":""}