查看原文
其他

对话陶哲轩:什么造就“好”的数学?人工智能如何改变数学?

zzllrr小乐 返朴 2024-04-24

星标,才能不错过每日推送!方法见文末动图



被称为“数学莫扎特”的陶哲轩在2007年写了一篇文章,探讨“好”的数学研究的共同要素。近日,这位菲尔兹奖得主与Quanta Magazine播客“The Joy of Why”主持人Steven Strogatz一起重温了这个话题。陶哲轩谈及了他写那篇文章的缘起,什么是“好”的数学,以及近些年数学界发生的变化。他特别讲到了人工智能对数学未来的影响。在国际数学日,让我们共同探讨“好”的数学。

图片来源:Peter Greenwood for Quanta Magazine
对话 | Steven Strogatz嘉宾 | 陶哲轩(Terence Tao)翻译 | zzllrr小乐
我们倾向于认为数学是纯粹逻辑性的,但数学的教学、价值、用途和运作方式充满了细微差别。那么,什么是“好”的数学呢?2007年,数学家陶哲轩(以下简称陶)为《美国数学会公报》Bulletin of the American Mathematical Society,以下简称《公报》)撰写了一篇文章,试图回答这个问题。如今,作为菲尔兹奖、数学突破奖和麦克阿瑟奖学金的获得者,陶哲轩是当今最受尊敬、最多产的数学家之一。在本期节目中,他与主持人、数学家Steven Strogatz(以下简称SS) 一起重新审视好数学的构成。
SS早在2007年10月,当时第一代iPhone仍然是热门商品,股市在经济大衰退之前也处于历史最高点,加州大学洛杉矶分校数学教授陶哲轩决心回答一个长期以来数学家争论的问题:到底什么是好的数学?
是严谨?优雅?现实世界的实用性?陶写了一篇非常深思熟虑、慷慨激昂、甚至可以说是敞开心扉的文章,讲述了可能成为好数学的所有方式。而现在,15年过去了,我们是否需要重新思考什么是好的数学呢?
我是Steve Strogatz,这是Quanta Magzine播客“The Joy of Why”,我和我的搭档Janna Levin将轮流探讨当今数学和科学中一些尚未解答的最大问题。
今天,陶哲轩本人将重温这个数学的永恒问题——什么造就“好”的数学。陶教授撰写了300多篇研究论文,涉及的数学领域非常广泛,包括调和分析、偏微分方程、组合数学、数论、数据科学、随机矩阵等等。他被誉为“数学界的莫扎特”。作为菲尔兹奖、数学突破奖、麦克阿瑟奖和许多其他奖项的获得者,这个绰号是当之无愧的。
陶,欢迎来到“The Joy of Why”。
SS我很高兴能够与你讨论这个问题,即是什么让某些类型的数学研究变得更好。我清楚地记得2007年翻阅《公报》时,看到了你为我们提出的关于这个问题的文章[1]。这是所有数学家都在思考的问题。但对于那些可能不太熟悉的人来说,能否告诉我们,你是如何想到这个问题的吗?你当时是如何定义好的数学的?
:好的。实际上那是一次征稿。当时《公报》编辑让我投一篇文章。作为一名学生,我对数学有一个非常天真的想法。我想会有一个由一群老人组成的委员会,他们把问题发出去让人们去做。作为一名研究生,我意识到实际上并没有这样的中央权威来发问题,人们是自主来研究的,这对我来说有点震惊。
我不断地去听演座,听其他数学家谈论他们觉得令人兴奋的事情,以及是什么让他们对数学感到兴奋,事实上每个数学家都有不同的处理数学的方式。比如,有些人会追求应用,有些人是为了美,有些人只是为了解决问题。他们想要解决问题,并且会专注于最困难、最具挑战性的任务。有些人会注重技巧,有些人会尝试让事情尽可能优雅。
但是,当听过这么多不同的数学家谈论他们认为数学中有价值的东西时,令我印象深刻的是,尽管我们对于好的数学应该是什么样子有着不同的理想,但他们都趋向于“收敛”到同一件事。
如果一段数学真的很好,追求美的人终究会遇到它。那些追求、重视技术能力或应用的人最终也会发现它。
大约在近一个世纪之前,尤金·维格纳(Eugene Wigner)写了一篇非常著名的文章,关于数学在物理科学中不合理的有效性[2]。他在文中指出,数学中的某些领域,例如黎曼几何、对弯曲空间的研究,最初只是数学家的纯粹理论练习,试图证明平行公设等等,结果这正是爱因斯坦、庞加莱和希尔伯特描述广义相对论所需要的数学。这就是发生的现象。
因此,数学家认为在智力上有趣的东西最终在物理上也很重要,而不仅仅是停留在数学上。而在数学领域中,数学家认为优雅的课题也恰好能带来深刻的见解。
我的感觉是,那里有一些柏拉图式的好的数学,而我们所有不同的价值体系只是获取这些客观上好的东西的不同方式。
SS:这非常有趣。作为一个倾向于柏拉图式思维的人,我被你煽动了。虽然听到你这么说我有点惊讶,因为我本以为你最初的想法似乎是对这个问题有很多不同的观点。不过,这是一个有趣的事实,一种经验事实,我们确实在什么是好的或什么是不好的问题上达成了一致,尽管正如你所说,我们出于许多不同的价值观。
陶:对。收敛可能需要时间。肯定有一些领域,用一种指标来衡量,它们看起来比其他领域要好得多。也许它们有很多应用,但它们的表现形式非常糟糕;或者它们非常优雅,但在现实世界中还没有很多好的应用。但我的确觉得最终它们会收敛。
SS:好吧,让我们谈一下与现实世界的接触点。这是数学中一个有趣的张力。比方说,当我们小时候第一次学习几何时,你可能会认为三角形是真实的、圆形或直线也是真实的,人们会跟你讲你从世界各地建筑物上看到的长方形,或者测量员需要使用几何学。毕竟,“几何”(geometry)这个词来自对“地球”的测量。因此,曾经有一段时间几何学是经验性的。
但我想问你的是约翰·冯·诺伊曼(John von Neumann)发表的评论。对于不熟悉他的人来说,冯·诺伊曼本人就是一位伟大的数学家。(编者注:参见《“氢弹之父”乌拉姆:我的朋友冯·诺伊曼 | 纪念冯·诺伊曼诞辰120周年(上)》《是什么让他成为现代计算机之父?丨纪念冯·诺伊曼诞辰120周年(下)》)他在《数学家》(The Mathematician)[3]一文中这样评论关于数学与经验世界、现实世界之间的关系,他大致说数学思想起源于经验,但在某些时候,一旦你获得了数学思想,这门学科就开始拥有自己的生命。然后它更像是一件有创造性的艺术品,审美标准变得重要。但他说这会带来危险:当一个主题开始与其经验来源相距太远时,尤其是到它的第二代或第三代,该主题有可能遭受过多的抽象近亲繁殖,从而面临退化的危险。
对此你有什么想法吗?我的意思是,数学是否必须与其经验来源保持联系?
陶:是的,我认为确实必须有其基础。当我说,从经验上讲,所有那些做数学的不同方式会最终收敛,这只是因为——只有在课题是合理的情况下才会发生。好消息是,通常都是这样的。
但举例来说,在所有其他条件相同的情况下,数学家更看重简短的证明而非冗长的证明。不过,我们可以想象人们会走极端,比如,有一个数学的子领域痴迷于使证明尽可能短,对深刻的定理进行极其晦涩的两行证明。人们会把它变成了一种竞赛,然后它就变成了一种深奥的游戏,结果你失去了所有的直观。你可能会失去更深入的理解,因为你太痴迷于让所有的证明尽可能简短。现在,这种情况实际上并没有发生,但这是一个理论上的例子,我认为冯·诺伊曼提出了类似的观点。
在六七十年代,那时的数学,抽象在简化和统一许多以往非常经验化的数学方面取得了巨大进步。特别是在代数中,人们意识到,数和多项式,以及许多其他以前被单独处理的对象,你都可以将它们视为同一代数类的成员,环(ring)就是一个例子。
数学上的许多进步是通过找到正确的抽象来取得的,无论是拓扑空间还是向量空间,不管是什么,人们要证明具有普遍性的定理。这就是我们所说的数学布尔巴基时代(编者注:参见《数学到底是什么?布尔巴基学派启示录》)。它确实离接地气有点太远了。
当然,我们在美国经历了整个“新数学”(New Math)时期,教育工作者试图以布尔巴基风格教授数学,但最终意识到这种教学法并不适合那个阶段。
但现在钟摆又摆了回来。这门学科已经相当成熟了,数学的各个领域,几何、拓扑,等等,我们都有了令人满意的形式化,我们知道什么是正确的抽象。现在该领域再次关注相互关联(interconnections)和应用。现在它与现实世界的联系更加紧密。
我的意思是,它不仅仅与物理学相联,而是一种传统的联系,计算机科学、生命科学、社会科学都是如此。随着大数据的兴起,现在人类几乎所有的学科都可以在某种程度上被数学化。
SS我对你刚才使用“相互关联”一词非常感兴趣,因为这似乎是我们讨论的中心。你在文章中提到,除了那些所谓关于优雅的“局部”标准,或者说现实世界的应用,或者其他什么,你还提到了好数学的“整体”方面:好的数学与其他好的数学相联系。
这几乎是它之所以好的关键,因为它与其他部分融为一体。但有趣的是,这听起来像是循环论证:好的数学是与其他好的数学相关的数学。但这是一个非常有力的想法,我只是想知道你是否可以再扩展一下。
陶:嗯,我的意思是,数学是什么——数学所做的一件事是,它建立了非常基础且根本性的联系。如果你只从表面上看的话,这些联系并不明显。一个非常早期的例子是笛卡尔发明的笛卡尔坐标,它在几何学(对点、线和空间对象的研究)和数量、代数之间建立了基本联系。
再比如,你可以将圆视为几何对象,也可以将其视为方程:x2 + y2= 1是一个圆的方程。在当时,这是一个非常革命性的联系。要知道,古希腊人将数论和几何视为几乎完全割裂的学科。
但对于笛卡尔来说,这种根本的联系是存在的。现在我们教数学的方式已经将它内化了。如果你遇到几何问题,你会用数来解决它,这已经不足为奇了。或者,如果你对数有疑问,你可以用几何来解决它。
这在某种程度上是因为几何和数是同一数学概念的两个方面。我们有一个完整的领域称为代数几何(algebraic geometry),它既不是代数也不是几何,但它是一个统一的学科,研究对象,你可以将其视为几何形状,如直线和圆等,也可以将其视为方程。
实际上,我们学习的是两者的整体结合。随着研究的深入,我们意识到,在某些方面,它比单独的代数或几何更为基础。因此,这些联系正在帮助我们发现某种真实的数学,而最初,我们的经验研究只为我们揭露了该学科的一角。
有一个关于大象的著名寓言,我忘了出处,说的是有四个盲人,他们发现了一头大象。其中一个人摸到了大象的腿,他想:“哦,这个,太粗糙了。它一定像一棵树什么的。”
其中一个人摸到了象鼻,直到很久以后,他们才发现有一个叫大象的东西可以解释他们所有单独的假设。是的,所以我们一开始都是盲目的。我们只是看着柏拉图洞穴上的影子,后来才意识到……
SS:哇,你讲的非常有哲理。我现在忍住不想说:如果你会谈论大象和盲人,这表明你认为数学就在那里——它就像大象,而我们是盲人……或者,我们正在试图看到一些独立于人类而存在的东西。这真的是你所相信的吗?
:当你做好的数学时,它不是到处乱推符号。你确实会感觉到有一些你想要理解的实际对象,而我们拥有的所有方程都只是该对象的近似或影子。
你可以对什么是真正的现实展开哲学上的辩论。我的意思是,这些是你可以实际触摸到的东西,而且数学上越真实的东西,有时它们看起来就越不实在。正如你所说,几何学最初是关于物理空间中的非常具体的东西,你确实上可以构建一个圆形、一个正方形等等。
但在现代几何中,我们在更高的维度中工作。我们可以谈论离散几何,各种古怪的拓扑结构。而且,尽管没有“地球”被测量了,这门学科仍然值得被称为几何学。古希腊语词源虽然过时了,但它肯定是有意义的。无论你想把它称作什么,我想重点是,为了现实上做数学的目的,相信它是真实的会有所帮助。
SS是的,这不是很有趣吗?确实如此。这似乎是数学史上根深蒂固的事情。阿基米德(Archimedes)写给他的朋友,或者至少是同事埃拉托色尼(Eratosthenes)的一篇文章让我震惊。
我们现在谈论的是公元前250年。他说,他发现了一种方法,可以求出我们所说的抛物线段面积。他画了一条抛物线,用一条与抛物线轴成斜角的线段穿过它,然后算出这个面积。他得到了一个非常漂亮的结果。但他对埃拉托色尼了类似的话,“这些结果一直是图形中所固有的。”它们就在那里。它们只是等待着他去发现。
这不像是他的创造。这不像诗。我的意思是,实际上这很有趣,不是吗?很多伟大的艺术家,比如米开朗基罗(Michelangelo)都谈到过要将雕像从石头上释放出来,就好像它一开始就在那里一样。听起来你和许多其他伟大的数学家一样——正如你所说,相信这个想法非常有用,它就在那里等待着我们,等待着正确的头脑去发现它
:嗯,我认为其中的一个表现是,它们第一次被发现时通常很难解释的想法,(以后)会被简化。某些事情一开始看起来非常深奥或困难的原因,往往是因为你没有正确地标记符号。
比如我们现在有了十进制来处理数字,非常方便。但在过去,人们得用罗马数字,然后还有更原始的数字系统,如果你想做数学,这些系统真的非常难用。
古代文献中的一些论证,比如欧几里得的《几何原本》Elements中有一个定理,我想它是叫“驴桥定理”(Pons asinorum)或之类的:一个等腰三角形,两个底角相等。有了正确的公理,现代几何课本中就这样写出一个两行证明就行了。但欧几里得却采用了可怕的方式来证明它。这就是古典时代许多学习几何学的学生完全放弃数学的原因。
SS确实如此。(笑)
:我们现在有更好的方法。我们在数学中看到的复杂性常常是我们自身局限性造成的。所以,随着我们成熟,事情变得更简单。因此感觉更加真实。我们看到的不是人造物,我们看到的是本质。
SS回到你的文章,当你写这篇文章时,那是你职业生涯的早期,虽然不是最开始。为什么你当时觉得尝试定义什么是好的数学很重要?
:那时,我已经开始为研究生提供指导,我注意到,人们对于什么是好的、什么是不好的,存在一些误解。而且我也在和不同领域的数学家交流,每个人在数学上看重的似乎和其他人不一样。但不知何故,我们都在研究同一课题。
有时有人会说一些让我不舒服的话,比如,“这个数学没有应用,因此它没有价值。”“这个证明太复杂了,因此它没有价值,”或者诸如此类。还有反过来的,“这个证明太简单了,因此它不值得……”就像有时我们会遇到一些势利之类的东西。
根据我的经验,最好的数学是出现于,当我理解不同的观点、不同领域的人思考数学的不同方式并将其应用于我关心的问题时。因此,我对如何正确使用数学、如何运用数学的经验与那种“数学的唯一解法”完全不同。
我觉得这一点必须以某种方式被提出来。数学确实有多种方法,但数学仍然是统一的。
SS这非常有启发性。在我刚才的介绍中,我提到了你探索过许多不同的数学分支,甚至还有我没说到的。我记得几年前,你研究了流体动力学中的未解之谜,关于我们认为的某些方程是否可以很好地近似水和空气的运动。我不想讲太多细节,只是想说,人们认为你在做数论或调和分析,突然间你就研究流体动力学问题了。我知道这有关偏微分方程。但尽管如此,你的兴趣广度似乎与你接受不同见解、好数学的所有不同做法中的有价值想法的广度有关。
:我忘了是谁说的,数学家有两种类型:刺猬和狐狸。狐狸是对一切事物都略知一二的人。刺猬则是对一件事非常非常了解的生物。两者各有所长,相辅相成。我的意思是,在数学领域,你需要的是某个子领域真正深入的专家,他们对某一学科了如指掌。你也需要能够看到一个领域与另一个领域之间联系的人。所以我肯定是一只狐狸,但我和很多刺猬一起工作。我最引以为傲的工作往往就是这样的合作。
SS哦,不错。他们意识到自己是刺猬了吗?
:嗯,随着时间的推移,角色会发生变化。比如在其他合作中,我是刺猬,别人是狐狸。这些都不是永久性的——这些并不在你的DNA中。
SS啊,好观点。我们可以穿两件斗篷。
那么,当时那篇文章有没有回应呢?人们对你说了什么吗?
:总的来说,我得到了相当积极的回应。《公报》并不是一份广泛传播的出版物。我也没有说任何太有争议的话。而且,这篇文章出现在社交媒体流行之前,我想也许有一些数学博客进行了转载,但不包括Twitter。没有什么可以让它在网上疯传。
我也认为,一般来说,数学家不会把太多的时间和智力资本花在猜测上。数学家金明迥(Minhyong Kim)有一个非常好的比喻,对于数学家来说,信誉就像货币,就像金钱。如果你证明了定理,证明你了解这个学科,那么你就在银行中积累了某种信誉货币。一旦你有了足够的货币,你就可以通过有点哲学性的方式进行一些推测,说出一些可能是真实的而不是你能实际证明的东西。
但我们往往比较保守,我们不希望银行账户透支。你不希望你的大部分文章都是推测性的,而只有百分之一的内容能够真正证明某些事情。
SS很公平。从那时起已经过去了很多年,已经超过15年了。
:哦,是的,时间过得真快。
SS你的观点改变了吗?有什么需要我们修改的吗?
:嗯,数学文化正在发生很大的变化。我已经对数学有了一个广阔的视野,现在视野更广阔了。
一个非常具体的例子是:计算机辅助证明在2007年仍然存在争议。有一个著名的猜想,被称为开普勒猜想,它涉及在三维空间中堆积单位球的密度最大的方法。有一个标准的堆积,我想它被称为立方中心堆积(cubic central packing)或类似的,开普勒猜想是说这是最好的方式。
这个问题最终得到了解决,但证明过程需要计算机辅助。这是相当复杂的,Thomas Hales最终实际上创建了一种完整的计算机语言来正式验证这个特定的证明,但多年来它没有被接受为真正的证明。这说明需要计算机辅助验证的证明概念是多么有争议。
从那以后的几年里,出现了很多其他证明的例子,人类可以将复杂的问题简化为仍然需要计算机来验证的问题,然后用计算机继续验证它。关于如何可信地做到这些,我们已经制定了一些规则,比如如何发布代码和数据,以及检查新开源事物的方法等等。现在,计算机辅助证明已被广泛接受。
现在,我认为,下一个文化转变将是人工智能生成的证明是否会被接受。目前,AI工具还没有达到可以生成证明来真正推进数学问题的程度。也许本科水平的家庭作业,AI可以处理,但研究数学,它还没有达到那个水平。但总有一天,我们将看到人工智能辅助的论文问世,并且将会出现一场争论。
我们的文化在某些方面发生了变化……早在2007年,只有一小部分数学家在出版前提供了预印本。作者会小心翼翼地保护他们的预印本,直到收到期刊的录用通知,然后他们才可能会分享。
但现在每个人都将论文放在公共服务器上,例如arXiv。关于论文想法的来源,视频和博客文章的开放程度要高得多。因为人们意识到,这就是让工作更有影响力、更有感染力的原因。如果你试图不公开你的作品并且对此非常保密,它就不会引起轰动。
数学的协作性也更强了。50年前,大多数数学论文都是单一作者。现在,大多数论文肯定是两个、三个或四个作者。我们才刚刚开始看到像科学领域那样的大型项目,比如数十、数百人的合作。这对数学家来说仍然很难做到,但我认为我们会做到的。
与此同时,我们正变得更加跨学科。我们正在与其他科学进行更多的合作。我们正在数学领域之间工作。因为有了互联网,我们可以与世界各地的人们合作。所以,我们做数学的方式肯定正在改变。
我希望将来我们能够更多地利用业余数学社区。在其他领域,例如天文学,天文学家充分利用业余天文学社区,很多彗星都是由业余爱好者发现的。
但是数学家……数学中有一些孤立的领域,例如密铺(tiling)、二维密铺或者新的素数记录。在一些非常特定的数学领域,业余爱好者确实可以做出贡献,并且他们受到欢迎。但这方面也有很多障碍。在数学的大多数领域,你需要大量的专业训练,内化的或传统的智慧,而非从大众资源中获取的(知识)。但这种情况将来可能会改变。也许人工智能的影响之一是让业余数学家能够为数学做出有意义的贡献。
SS这非常有趣。业余爱好者可能会在AI的帮助下,提出好的新问题?或者帮助对现有问题进行好的探索,诸如此类?
:有很多不同的方式——是的。例如,现在有一些项目可以形式化大定理的证明,被称为形式化证明助手,它们就像计算机语言一样,可以100%验证定理是否正确以及是否已被证明。这实际上促成了数学领域的大规模合作。
因此,在过去,如果你与其他10个人合作证明一个定理,并且每个人都贡献一步,那么每个人都必须验证其他人的数学过程。因为数学的特点是,如果其中一个步骤出现错误,整个系统就会崩溃。
所以你需要信任。这实际上阻碍了数学领域的大规模合作。但现在已经有一些成功的例子,真正的大定理被形式化,有一个巨大的社区,他们并不互相认识,也不互相信任,但他们会通过上传到一些GitHub资源库,或诸如证明中各个步骤的单独证明之类的东西来交流。而且形式化证明软件会验证一切,因此你无需担心信任问题。所以说,我们正在启用新的协作模式,这是我们过去从未见过的。
SS听到你的想法真的很有趣。这是一个令人着迷的观点。你没听到过“公众数学家”(citizen mathematician)这个词。但你听说过公众科学(citizen science),为什么没有听说过公众数学呢?
我只是想知道,是否有你担心的趋势,譬如计算机辅助证明或人工智能生成的证明,我们会知道某些结果是正确的,但我们不明白原理是为什么吗?
:这是个问题。甚至在人工智能出现之前,这就已经是一个问题了。在很多领域,某个课题的论文越来越长,达到数百页。我希望人工智能可以反过来帮助简化,它来解释和证明。
所以,现在已经有了实验性软件,例如,如果你得到了已经形式化的证明,那你就可以将其转换为交互式人工可读文档。你可以在其中获得证明并看到高级步骤,如果有一个句子你不明白,你可以双击它,它会展开成更小的步骤。我认为很快你就可以让一个AI聊天机器人坐在你旁边,当你完成证明时,它们可以回答问题,并且可以像作者一样解释每一步。我认为我们已经非常接近这个目标了。
有人担心,我们必须改变我们教育学生的方式,特别是现在譬如布置作业等诸多传统的教育方式,我们几乎已经到了这些AI工具可以立即回答许多标准考试问题的地步。因此,我们需要教给学生新的技能,比如如何验证人工智能生成的输出是否正确,以及如何获得其他观点。
我们可能会看到数学更具实验性的一面。数学几乎完全是理论性的,而大多数科学都包含理论和实验两部分。我们最终可能会得到一些结论,而这些结论最初只能由计算机证明,正如你所说,我们不理解其中含意。但一旦我们有了人工智能、计算机生成的证明提供的数据,我们就可以进行实验。
现在有一些实验数学。人们确实会研究各种事物的大数据集,比如椭圆曲线。未来它可能会变得更大。
SS你的观点非常乐观,这对我来说太棒了。这不像过去的黄金时代。如果我没听错的话,你认为未来还有很多非常令人兴奋的事情。
:是的,很多新技术工具都非常强大。人工智能总体上有许多复杂的优点和缺点。在科学之外,经济、知识产权等也可能受到很多干扰。但在数学领域,我认为好与坏的比例要好于许多其他领域。
而且,互联网确实改变了我们做数学的方式。我与很多不同领域的人合作。如果没有互联网我就无法做到这一点。事实上,我可以访问维基百科或其他任何东西,开始学习一个课题,我可以给别人发电子邮件,我们可以在线协作。如果我必须用老办法,那么我只能与系里的人交谈,使用实物的信件处理其他事情,我无法像现在一样进行数学工作。
SS哇,好吧。我必须强调你刚才所说的,因为我从来没有想过一百万年后我会听到这样的话:陶哲轩通过阅读维基百科来学习数学?
:我的意思是,这只是作为一个起点,而且并不总是维基百科,我只是得到了关键字,然后我会进行更专业的搜索,例如MathSciNet或其他数据库。
SS这不是批评。我也做过同样的事情。实际上,如果要对维基百科上的数学有任何批评,我认为也许是有时它对于读者来说有点太高深了,尽管不总是如此。我的意思是,不同文章之间的差异很大,但这很有趣。我喜欢听你这么说。
:我想表达的是,你必须能够审查这些工具的输出。我之所以可以使用维基百科来做数学,是因为我已经了解了足够多的数学知识,我可以嗅出维基百科中的数学内容是否有问题。它可能会有一些来源,其中一个来源将比另一个来源更好。而我知道作者,并且知道哪一篇参考文献对我来说更适合。如果我使用维基百科来了解一个我没有经验的学科,那么我认为它更像是一个随机变量。
SS嗯,我们已经讨论了很多关于什么是好的数学,以及新的好数学的可能未来。但也许我们应该解决这个问题:为什么这很关键?为什么好的数学很重要?
:首先,我想说,我们为什么会有数学家?为什么社会重视数学家并为我们提供资源让我们去做数学?这是因为我们确实提供了一些价值。我们可以将其应用到现实世界中。这种智力上的兴趣,我们发展的一些理论,最终提供了对其他现象的洞察。
并不是所有的数学都具有同等的价值。我的意思是,你可以计算越来越多的圆周率位数,但到达某一点之后,你什么也学不到。任何学科都需要某种价值判断,因为你必须分配资源。现在有那么多的数学知识。哪些进展你想强调和宣传,让其他人知道,哪些可能应该安静地记录在某本期刊中?
即使你认为一个主题是完全客观的,并且只有正确或错误,我们仍然必须做出选择。因为时间是有限的资源;注意力是一种有限的资源;金钱是一种有限的资源。这些始终是重要的问题。
SS嗯,有趣的是,你提到了宣传,因为我认为这是你工作的一个显著特征,你为此付出了很多努力,通过你的博客、通过你写的各种文章让大家了解数学。我记得我讨论过你在《美国科学家》American Scientist杂志上写的一篇关于普遍性和这一理念的文章。为什么让数学公开并易于理解很重要?我的意思是,你想做什么?
:这是自然发生的。在我职业生涯的早期,万维网还是新鲜事物,数学家们开始创建包含各种内容的网页,但没有太多的主题目录。在Google等(搜索引擎)出现之前,人们实际上很难找到个人资源。
于是,我开始在我自己的网页[4]上创建一些小目录。我还会为自己的论文制作页面,并发表一些评论。最初更多是为了我的个人利益,作为一个组织性的工具,我只是用它帮助我找东西。而作为副产品,它向公众开放,但我是我自己的网页的主要消费者,或者至少我是这么认为的。
我记得很清楚,有一次我写了一篇论文,把它放在我的网页上;我有一个小的子页面,名为“What’s New”。我只是说:“这有一篇论文,里面有一个问题我至今无法回答,也不知道如何解决。”我发表了这个评论。然后大约两天后,我收到一封电子邮件,上面写着:“哦,我查看了你的主页。我知道这个问题的答案。有一篇论文可以解决你的问题。”
首先,这让我意识到人们确实正在访问我的网页,而我并不真正知道。但与社区的互动真的可以帮助我——直接解决我的问题。
网络中有一条被称为梅特卡夫定律(Metcalfe's law)的法则,如果有n个人,并且他们都互相交谈,那么他们之间大约有n2个连接。因此,受众越多,论坛越大,每个人都可以与其他人交谈,可以建立的潜在连接就越多,好事也就越多。
在我的职业生涯中,我所做的很多发现,或者我所建立的联系都是因为意想不到的连接。我的整个职业经历是,越多的连接就等于事情越好办。
SS我认为你刚才提到的一个很好的例子,但我很想听你谈谈,就是你与数据科学领域的人们建立的连接,他们对核磁共振成像(MRI)相关问题感兴趣。你能给我们讲一下这个故事吗?
:我想那大概是2005年或2006年。加州大学洛杉矶分校有一个跨学科项目,涉及多尺度几何分析,他们把对多尺度几何本身感兴趣的纯数学家聚集在一起,那些对非常具体的数据类型问题感兴趣的人也在。
我当时刚开始研究随机矩阵理论中的一些问题,所以我被认为是一个会处理矩阵问题的人。我遇到了一个以前就认识的人,Emmanuel Candès,当时他在加州理工学院工作。他和另一位合作者Justin Romberg发现了这种不寻常的现象。
他们正在研究核磁共振图像,但成像速度非常慢。为了收集到真正高分辨率的图像,足够多的图像来捕捉肿瘤,或者任何医学上重要的特征,通常需要几分钟的时间,因为他们必须扫描所有这些不同的角度,然后合成数据。事实上,这是一个现实问题,对于一个小孩子,仅仅在核磁共振机器中静坐三分钟就很成问题。
于是,他们尝试了一种不同的方法,使用一些线性代数。他们希望获得10%、20%的性能提升。你知道,通过稍微调整标准算法可以得到更清晰的图像。
标准算法被称为最小二乘逼近(least squares approximation),而他们正在做的是全变差最小化(total variation minimization)。而当他们运行计算机软件,他们几乎完美地重建了测试图像,这是巨大的进步。但他们无法解释原理。
Emmanuel参加了这个项目,那天我们在喝茶聊天,他提到了这件事。实际上,我的第一反应是,一定是计算错了,他说的根本不可能实现。我记得那天晚上回到家,我试着写下一个实际的证明,证明他们所看到的事情实际上不可能发生。写到了一半,我意识到我做出了一个不正确的假设,然后我发现它实际上是可行的。我想出了可能的解释。后来我们一起合作,最终找到了一个很好的解释并发表了出来。
一旦我们这样做了,人们就意识到,在许多情况下,你必须进行通常需要大量数据的测量,而在某些情况下,你可以采用更少的数据量,但仍然可以获得非常高的分辨率测量结果。
所以现在,以现代MRI机器为例,过去需要三分钟的扫描现在只需30秒,因为这个软件、这个算法已经编入机器中了。
SS这是一个美秒的故事,很棒。我是说,在医学成像的背景下谈论正在改变生活的重要数学。我喜欢它的偶然性和你的开放心态,听到这个想法然后想,好吧,“这是不可能的,我可以证明它。”然后意识到,这实际上是可能的。很高兴看到数学产生如此大的影响。
我想该结束了。很高兴与你讨论好的数学的本质。非常感谢你今天参与我们的节目。
:我很荣幸。

参考文献

[1] https://doi.org/10.48550/arXiv.math/0702396

[2] https://doi.org/10.1002/cpa.3160130102[3] https://mathshistory.st-andrews.ac.uk/Extras/Von_Neumann_Part_1/[4] https://terrytao.wordpress.com
本文经授权转载自微信公众号“zzllrr小乐”。《返朴》对原文进行了校订。

相关阅读

1  数学到底是什么?布尔巴基学派启示录

2  “氢弹之父”乌拉姆:我的朋友冯·诺伊曼 | 纪念冯·诺伊曼诞辰120周年(上)

3  是什么让他成为现代计算机之父?丨纪念冯·诺伊曼诞辰120周年(下)

4  陶哲轩用AI证明数学猜想实乃误读,但数学界仍大受震动

5  陶哲轩:从复杂系统中,抓住奇妙的普适性


近期推荐

1  美丽而“无用”的莫比乌斯反演,解决了一类物理问题

2  30年互相矛盾的星形胶质细胞研究,终于迎来一锤定音

3  一位破译了二战德国密码的数学天才,他带走了秘诀

4  最大数和最小上界是一回事吗?

5  吃头孢后不能喝酒,那么酒后多久可以吃头孢?


特 别 提 示

1. 进入『返朴』微信公众号底部菜单“精品专栏“,可查阅不同主题系列科普文章。

2. 『返朴』提供按月检索文章功能。关注公众号,回复四位数组成的年份+月份,如“1903”,可获取2019年3月的文章索引,以此类推。


找不到《返朴》了?快加星标!!



长按下方图片关注「返朴」,查看更多历史文章

微信实行乱序推送,常点“在看”,可防失联
继续滑动看下一个
向上滑动看下一个

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存