数百年后,如果人类依然没有被人工智能所毁灭,在撰写现代历史的时候,可能最为恰切的概括就是“技术爆炸”。
忧虑和企盼
近几年来,商业资本对于技术发展推波助澜,许多挑战人类底线的技术正在颠覆着人类社会:例如网络巨头垄断、DNA编辑、人类胚胎克隆、人工智能博弈等等。依照技术达尔文主义信徒的哲学观念,文明的根本原则在于生存和技术爆炸,由此必然引向猜疑链和黑暗森林法则,人类最终无法逃脱相互毁灭的宿命。出于人性的贪婪和恐惧,商业组织日益加大研发这些技术的力度,开始了人工智能的军备竞赛。霍金、马斯克早就发出了警世恒言:技术爆炸正在将人类推向万劫不复的深渊。
作为理工科的学者们,无论主观意愿如何,客观上别无选择,都是被时代大潮裹挟,被人类的贪婪和恐惧绑架,将毕生心血都奉献给了当代的技术爆炸。所有的人都在扪心自问:这究竟是追求人类福祉,还是助纣为虐?我们正在为后代改进世界、还是在毁灭世界?绝大多数的人倾向认为技术本身是中立的,既可以行善也可以作恶,重要的是人类社会如何组织,如何保证将其合理使用。其实整个人类早已在核威慑的阴影下彼此妥协,和平共处了数十年,相信人类理性的光辉能够战胜贪婪和恐惧,使得智人这一物种得以幸存延续。
系统和齿轮
现代技术爆炸的核心原因之一是计算机技术的大规模普及和应用,从而部分地取代了人类的智力劳动。在计算机出现之前,人类积累的知识只能通过书籍得以传承,每个工程师必须经过艰苦地学习才能掌握艰深的知识,从而在社会实践中加以应用;计算机出现之后,知识被转化成软件工具,每个工程师不必理解这些知识,只需要熟练掌握软件的使用方法就可以在实践中使用。这使得知识的应用爆炸式增长,(同时也使得人们学习艰深知识的愿望指数级下降)。因此,技术爆炸过程中的一个基本范式就是:确定市场需求,寻找理论解决方案,基础理论转换成算法,工程改进和完善,实践检验和推广。
社会是一部庞大精密的机器,日夜轰鸣,协调运转;个人是一个微小的齿轮,精细的社会分工固定了齿轮的位置和角色,更加限制了齿轮的视野。每个齿轮只能窥视系统中邻近的部分,而无法彻底洞察整个系统的运作。在现代社会系统中,大学被赋予的角色主要是寻找理论解决方案和基础理论转换成算法这两步,其他的步骤主要由工业界和商业界完成。诚然,很多技术突破是由于工业界工程技巧的长期积累和渐进改善;但是,工业界一般倾向于应用成熟可靠的技术,惮于激进冒险;同时由于工业界注重近期商业利益,不会倾力研发长期有潜力,近期无效益的技术。因此,绝大多数新技术的起源来自于大学。
老顾有幸参与的几次技术革新都不是基于工程的进化和积累,而是从基础理论上加以洞察从而彻底改变了工艺流程,都是基于现代拓扑和几何理论;每次都是和丘成桐先生一同探讨,在丘先生的指导下完成。这和绝大多数的工程人员的基于工程方法的创新方式有所不同。

哈佛校园。
哈佛会谈
毕业将近二十年,老顾几乎每月都要驱车到哈佛拜访恩师丘成桐先生。一路穿越纽约的红尘万丈、康涅狄格的枫丹白露、马萨诸塞的瀚海峰峦,来到古老静谧的哈佛校园。查尔斯河依然波光潋滟,倒映着哈佛校舍,红墙白窗,塔楼穹顶;墙上攀爬着常青藤,虬枝苍劲,却又生机盎然,常青藤叶斑驳墨绿,间或微风袭过,藤叶掀起阵阵波澜。哈佛教堂传来钟声,悠扬缥缈,夕阳斜照,满目金辉,时光停驻,岁月静好。暮色苍茫中穿过哈佛校园,风物依旧,恍如隔日,浮生若梦,为欢几何。
每次回到哈佛拜见丘先生,都有一种回到精神家园般的宁静和安逸。丘先生的办公室一面墙都是落地长窗,可以鸟瞰哈佛校园或者眺望哈佛教堂的尖塔,另一面墙是硕大的黑板,上面写满了数学符号,其他的墙都是书架,上面塞满了各种数学专著。落日余晖洒满办公室,一切都在熠熠生辉。几乎每天从清晨到午夜,丘先生都在办公室里思考自然界的基本结构和统摄宇宙的根本原理。和丘先生的谈话不需要迂回和矫饰,不需要氛围的渲染和情绪的宣泄,只需要清晰准确地讲明本质。丘先生的回答也是简明扼要,但是字字千钧!每次和丘先生谈话,都会令人抛却尘世烦恼,身心沐浴在圣洁的数学光辉之中。在这里,只有赤裸坦诚、意蕴深远的数学定理,深邃广袤、宏大雄浑的自然结构。每当老顾觉得自己的灵魂在红尘中堕落,日益厌恶勾心斗角、尔虞我诈的猥琐庸常的时候,就来拜见丘先生,进行一次精神洗礼。

哈佛校园。
丘先生非常关心技术领域的最新进展,每次见面,丘先生必问的两个问题是:“这个领域最为根本的问题是什么?”和“这些根本问题是否成熟到可以用数学语言精确描述?”
人工智能
前几次去拜见丘先生,和丘先生探讨人工智能和深度学习。老顾向丘先生解释说“深度学习目前比较根本的问题在于没有公认的理论解释,即所谓的黑箱问题。实际应用中,深度学习需要海量数据,采集高质量带标注的数据成为瓶颈。2017年最为热门的方向是所谓的对抗生成网络(GAN),这种模型可以自动生成数据,从而有望克服瓶颈。GAN的原理是用两个神经网络彼此互搏,共同提高。”丘先生问道“GAN模型是否有相对成熟的数学描述?”老顾回答道“GAN的判别器主要是计算两个概率测度之间的距离;GAN的生成器将高斯分布变换成数据概率分布。”丘先生沉思片刻“你可以用最优传输理论试一试,这个等价于求解蒙日-安培方程。”“深度学习问题规模巨大,蒙日-安培方程高度非线性,理论上都有哪些解法?”“蒙日-安培方程和凸几何中的闵可夫问题和亚历山大问题都有渊源。有一种基于几何的变分法。”于是,丘先生在黑板上详尽地解释了亚历山大问题和蒙日-安培方程的几何观点。后来,我们和其他合作者将蒙日-安培方程的几何变分原理厘清,给出亚历山大问题的构造性证明,在数学期刊上发表。同时,我们发现了有关GAN模型的一个盲点:目前主流学者认为正是两个神经网络的竞争,才使得GAN具备了神奇的力量。相反的,丘先生的理论揭示了判别器的解和生成器的解彼此等价,判别器训练好了之后,生成器可以不必经过训练而直接得到,换言之,两个神经网络之间的竞争是没有必要的。老顾和合作者们将这一见解整理成文,挂到网上。几个月后,老顾又来哈佛和丘先生探讨蒙日-安培方程,在共进午餐的时候,丘先生提到他在证明卡拉比猜想是求解复的蒙日-安培方程,用的是连续方法,随即丘先生在纸上详尽讲解这一方法的细节。这个工作引起了法国数学家维拉尼先生的重视,维拉尼是菲尔兹奖得主,最优传输理论专家,目前是法国议会议员。在法国总统访华期间,维拉尼先生组织并主持了中法人工智能峰会,并邀请老顾加入讨论。
计算力学
多年以前,老顾的朋友T-样条之父Tom Sederberg教授邀请老顾参加华盛顿DC的一个海军机构主持的会议,会议的主题是计算力学,讨论的议题都是飞机和潜艇的设计,特别是潜艇的内爆计算(即潜艇深潜之后,液压过大从外部将潜艇压得塌缩)。Sederberg教授向老顾介绍了Tom Hughes教授,Hughes教授是美国计算力学的创始人,三院院士(美国国家科学院、科学和艺术院、工程院)。Hughes教授告诉老顾,波音公司进行大量的力学计算,这需要生成高质量网格,公司60%-70%的时间和资金用于网格生成。对于潜艇内爆、薄壳形变等问题计算质量要求很高。那时的主流是有限元计算,他雄心勃勃希望建立全新的理论框架和计算体系,用体样条来取代有限元,即所谓的等几何分析(isogeometric analysis)方法。但是,IGA方法尽管理论宏大,其根基却不稳,因为没有严密而成熟的方法建立体样条,因此他找到Sederberg教授。Sederberg教授将老顾推荐给Hughes教授。经过一番调查之后,老顾得知这一问题归结为网格生成领域的经典难题“神圣网格”问题,另一位菲尔兹奖得主William Thurston曾经思考过这一问题,并且关于这一问题的弱形式给出一个定理。这一问题长达数十年没有解决,甚至连基本理论也没有建立。
后来,Sederberg教授亲自来到哈佛拜访丘先生,详尽解释了问题及其背景。丘先生告诉老顾,这一问题和曲面的叶状结构理论有很深渊源,并且和黎曼面的全纯二次微分有紧密联系,并建议老顾研究Thurston和
Curtis
McMullen的火车道理论,因为这一理论是“用组合方法来研究叶状结构,进而研究Teichmuller空间理论”。老顾研究了一个阶段之后,遇到了一些困难,而放慢了步调。数年后,McMullen获得了菲尔兹奖,他的学生Maryam Mirzakhani沿着这一路径成为史上第一个女菲尔兹奖得主。这对老顾触动很大,因此一直坚持学习这一理论,时至今日。有一年老顾访问了国内计算力学的中心之一,大连理工大学,遇到关振群教授。关教授多年从事网格生成方面的研究,再度和老顾谈起神圣网格问题。这时老顾意识到这个问题在计算力学领域所具有的根本重要性。
老顾再度向丘先生求教,丘先生告诉老顾应该学习Strebel的理论,Strebel提出了一种变分法,可以用于求解曲面的全纯二次微分,进而得到叶状结构。经过艰苦努力,我们发现这种变分方法很难转换成计算机上的算法,研究再度进入困境。这时,丘先生在海南三亚召开清华数学年会,丘先生的弟子Richard Schoen在会议上做了报告,提到广义调和映照理论。Schoen曾经将丘先生的经典调和映照理论推广到负曲率度量空间,广义调和映照和Strebel全纯二次微分直接存在深刻联系。最终,沿着这条路径,老顾和合作者们解决了叶状结构的构造问题,进而为神圣网格的解决奠定了理论基础。
Hughes教授闻讯后非常激动,立刻给老顾寄来了大量的检测数据,从螺旋桨到人体大动脉。我们用叶状结构理论得到神圣网格,Hughes教授再将神圣网格转换成体样条,进行IGA计算。Hughes教授盛赞这是IGA领域最大的突破之一。
医学图像
老顾所在学校的医学院和计算机系有着紧密的合作,医生们从医疗实践中经常发现一些亟待解决的问题,从而主动寻求计算机科学家的帮助。直肠癌是一种多发疾病,但是从息肉到癌变的周期较长,通过肠镜检查可以发现病变及时治疗。但是传统光学肠镜检查方法比较有侵犯性,患者需要全身麻醉,老年人肠壁肌肉薄弱,容易发生并发症。虚拟肠镜的方法用CT图像来重建直肠曲面,在数字模型上发现息肉,监控变化,没有侵犯性,不必麻醉,没有风险。虚拟肠镜的方法具有大量算法方面的挑战。
首先,由于图像分割的错误,重建的曲面具有大量的虚假的环柄,即所谓的拓扑噪声。这些虚假的环柄如此之小,同时如此扭曲,以致人眼很难直接发现。丘先生的建议是计算曲面同伦群,寻找非平庸的简单闭曲线来发现这些拓扑噪音,然后进行拓扑手术。其次,直肠曲面上有很多皱褶,如果息肉藏在皱褶里,很难被光学肠镜发现。这需要一种方法将直肠曲面摊平,从而将所有皱褶打开。这里,我们采用丘先生提议的全纯微分的方法。在实际应用中,这种方法非常有效,逐渐被广泛接受。我们的专利授权给西门子,西门子的研发部门招聘了我们实验室的三名博士生,逐步完善虚拟肠镜算法。如今,老顾在北美、香港和国内很多医院都看到了西门子的CT扫描仪器,其内部都用到了我们的算法。
我们进一步将算法推广到拓扑更为复杂的器官表面,很多时候需要求取曲面间的光滑双射,从而得到精确比对。老顾向丘先生求教时,丘先生建议使用调和映照,“调和映照就是光滑得无以复加的映射”。为了保证映射是微分同胚,丘先生又说“我年轻时有一个结果:如果目标曲面上的黎曼度量诱导负曲率,度为一的调和映射是微分同胚。”“如何在目标曲面上构造负曲率度量?”“可以用Bergman度量,求取同伦群的典范基底,求其对偶的全纯一形式基底,每个全纯一形式对应一个带有奇异点的平直度量,在把这些平直度量加起来即可。”这种方法适用范围很广,是解决拓扑复杂曲面注册问题的一个有力工具。
为了使得曲面映射的畸变最小,丘先生建议应用Teichmuller映射理论。“你应该变换目标曲面上的黎曼度量,使得调和映照的调和能量达到极大,这时得到的调和映射是Teichmuller映射,对应的黎曼度量即为由Teichmuller映射诱导的全纯二次微分的度量。”对于大脑皮层的研究,丘先生建议用非线性热流方法计算调和映照,“一个映射诱导的Hopf微分如果是全纯的,那么映射是调和的;如果Hopf微分为0,那么映射是共形的。球面上的全纯微分为0,所以调和映射必然是共形的。”这种方法在医学图像领域、脑神经科学领域被广泛应用,目前成为大脑皮层比对的最为常用方法。
计算机图形学
2001年左右,图形处理器GPU横空出世,使得游戏业面临一场革命。但是,那时纹理贴图技术尚未成熟。所谓纹理贴图就是求曲面到平面区域的连续双射,从而将平面上的纹理图像拉回到曲面上,即曲面参数化。那时复杂拓扑曲面只能分割成拓扑圆盘,然后每个拓扑圆盘再进行参数化。这种方法本质上是局部参数化方法。当时,如何进行全局参数化成为学界的研究热点。
老顾向丘先生求教的时候,丘先生看到共形映射能够被计算机实现出来,非常激动。他随即指出全局的方法等价于全纯微分形式,应该应用霍奇理论。霍奇理论本质上是说椭圆型偏微分方程的解空间维数和流形的拓扑有关。随后,丘先生深入解释了de Rham 上同调,调和微分形式群,Hodge分解定理。当时老顾对于上同调的理解不到位,丘先生不厌其烦地多次讲解。最后,我们终于将这种方法变成了实用算法。在其后的十数年间,在丘先生的带领下,我们将其一步步拓展,最后可以计算所有紧曲面的共形不变量和典范映射。在工业界,这个算法也被采用,例如暴雪公司的纹理贴图用的就是这种算法。
机械制造领域
精密数控机床的市场,德国占据60%份额,日本占据40%份额。日本的森石精工在加州戴维斯有一个分部,招聘了老顾的学生。他们技术负责人邀请老顾前去访问,并展示了他们当时领先世界的多轴联动数控加工技术。在和他们交流的过程中,他们提到了计算机辅助设计CAD领域的根本问题:如何设计全局二阶光滑的样条(Spline)曲面。传统的样条理论是基于仿射几何,如果我们能够直接将传统样条理论推广到一般流形上,那么流形本身必需具有仿射结构。
老顾和丘先生详细探讨过流形的各种几何结构问题,丘先生指出曲面仿射结构的存在性受到拓扑制约,曲面的实射影结构倒是没有拓扑障碍。丘先生和郑绍远教授在仿射微分几何方面颇有建树。丘先生详细讲解了仿射微分几何的关键概念和定理,然后让老顾去学习师兄John Loftin的工作。Loftin将曲面的实射影结构和曲面的共形结构和三重标准丛的全纯截面之间建立了本质联系,从而给出了实射影结构的Goldman空间的刻画。
老顾和计算机界CAD领域的世界级专家进行过深入探讨,例如B-Spline之父deBroor教授,T-Spline之父Sederberg教授。他们介绍说当初发明样条理论的时候,主要是工程师和应用数学家。那时工业加工的水平低下,所处理的机械零件拓扑简单,没有长远眼光,也没有意识到本质的拓扑障碍。当时他们乐观地认为,通过工程上的努力,人们最终能够找到一种聪明的办法,实现全局光滑样条曲面。依随麻省理工发明了数控机床技术,机械制造工业一日千里,上亿美元的流水线被建造出来,底层技术已经无法改变。
这件事情使得老顾认识到技术进化的局限性,工业界为了取得局部最优,并不主动寻求全局最优。忽略长远价值,矛盾逐渐积累,最后限于被动。虽然工业界具有学术界不可比拟的资金和人力资源,但是最为关键的技术基础和实质性突破还是来自于目光深远的学者。
黎奇曲率流
二十世纪九十年代后期,每周Richard Hamilton教授都会从纽约飞来波士顿,和丘先生通宵达旦地一同讨论。Hamilton教授风流倜傥,顾盼生辉,眼神极具杀伤力,号称在每个城市都有女朋友。那时老顾还在哈佛读书,心中十分不解:为什么丘先生对这样一个名不见经传的江湖浪子如此重视?很快,丘先生号召大家全身心投入到研究Hamilton的黎奇流中去,并且把自己的弟子送到Hamilto
评论 (0)