得更好，因为它们适应了人类的存在。”

突然之间我感到好笑，不得不转过脸。“怎么了？”露西问。

“我……想到那些死去的火烈鸟。”我咽下一口唾沫，“它们一如既往地生活，周遭的世界突然毫无征兆地改变，然后它们就消失了。这不公平。”

露西把手用力地按在我肩头：“跟我谈谈，乔。”

我整理了一下情绪：“你了解四色定理吗？”

“就是说任何地图只用四种颜色就行，是吗？”

四色定理甚至在不怎么了解数学的人群中都很有名，因为它易于解释和想象出来。可是有很长一段时间，它只是一个猜想。

“直到1976年它才被证明，阿贝尔和哈肯这两位数学家提出一种看似有效的证明，引起了不少争议。”

露西哼了一声：“我猜争议的原因就在于，他们只是说：‘瞧！给我们一张地图，任意一张，我们都能只用四种颜色上色！看见没有？’”

回想起我们做作业的那段时光，我忍不住和她笑起来。

“你说得差不多。他们的证明包含对1476种结构的穷举，可以覆盖所有可能的地图，需要用计算机来执行冗长的细节工作。”

“那么，证明有错吗？”

“没有，独立工作组分别进行检查，没发现任何错误。可它让人觉得不对，证明不应该是让你遍历1476种可能的条目清单，你的大脑看不到整体的模式。这还只是一个开始，从那以后，其他定理的证明也开始依赖计算机来检查成千上万种可能。”

露西耸耸肩膀：“许多学科使用计算机进行计算。没人因为计算机做了繁复的工作，就觉得计算结果不可靠。”

我摇摇头，觉得这让人非常难以释怀，“数学不同于实验科学，我们不研究真实存在的东西。证明不以证据为基础，我们只用逻辑。不理解从基本公理开始的推演，你接受不了结果。定理的要义不仅在于它正确，还在于它为什么正确。因为需要直观领悟真理，所以证明要体现出恰当的美学”。

“我从没觉得数学证明有多美。”

“还记得你认为通过翻转图形来证明比利用全等三角形一步步推导更直观明了吗？跟这个想法一样，我不觉得计算机辅助证明更让人信服。”

“可是为什么只有你对此感到不满？你的整个职业肯定与计算机辅助证明有仇。”

“假如你拥有硬件植入去领悟它们，”我说，“就不会觉得有什么问题了。”

我终于告诉她究竟发生了什么。

去年秋天，我被指派去教一门本科图论课程。一天晚上，我跟学生开了个小玩笑，安排他们验证阿贝尔和哈肯的证明，但是没指望他们有人能理解。我的初衷是引发关于数学直觉极限的讨论。一名学生在办公时间找到我。

“我觉得自己找到了一种简化证明的方法。”他说。

“哦？”我被逗笑了。每年都有几名学生觉得找到了捷径。我不得不通过指出推导过程的错误来让他们失望。

他开始解释，30秒之后，我觉得自己有麻烦了。他清楚自己在谈什么。对于各种结构和相互之间的关系，我花了好几天时间才获得一点模糊的印象，可他谈论起来却清晰明了，仿佛在说自己书架上书籍的分类。我不表态，只是在他暂停解释看向我的时候点点头。

“听起来正确吗？感觉太简单了！我第一次仔细检查证明过程的时候就想到了。等我第二次检查的时候，那些结构更清晰。我能看见它们。”

我点点头，希望他能平静下来。

“你没听明白，是吗？”他停止解释，脸色也随之一沉。我给七年级数学老师热情地解释自己如何推导斯托克斯定理[3]时，也曾流露出同样的表情。她也在我解释的过程中不断点头，不过最后我知道她没有听明白。我头一次知道自己能看清老师看不见的范式。

在我这位学生的太阳穴旁边，是增强视觉植入的银色数据接口。

“我当初错了。”我对露西说，“增强视觉不同于计算器，不仅仅是工具，它们改变了人类视觉思维的能力。拥有增强视觉植入的学生，可以同时进行300种活跃的形象化思维，跟我同时进行两种一样轻松。他们更聪明，也的确能看见我们看不见的思维模式。”

一段时间以来，经过视觉增强的同事一直在发表我难以理解的论文。我不断找借口告诉自己，我对那些课题不感兴趣，或者读他们论文的时候刚好赶上心情不好。可我一直生活在否认之中，我拖拖拉拉在研究生院读了好多年书，一名学生对我的轻视才把我警醒。

数学是我一生所爱，我一直都很擅长。我努力钻研，牺牲睡眠和社交生活，梦想取得了不起的发现，蜚声海内外。

可是随之而来的却是一记重击，有人发明了升级人类大脑的方法，然而体内某些不良基因导致我无法升级。我就应该完全放弃吗？这一切的不公平让我感到暴怒。

“你知道，我一直都很羡慕你。”露西说。

我看着她，怀着自怜的情绪感到大吃一惊。

“你有天才的智商，得到各种奖项和父母的表扬。我知道自己永远无法像你那样聪明、有才和优秀，你能想象生活在你的阴影之下是什么滋味吗？”

“露西，我……”

“不，让我说完。在你的存在掌控一切的家庭里，我不得不自己学会立足。我没法读得跟你一样快，只好小心选择要读的书。我的数学从来都比不上你，于是选择最不需要定量推理的学科。我也一直无法像你一样让老师感到高兴，所以我学着用其他方式获得赞许。