21CTO导读：当今世界最杰出的数学家之一的Ken Ono离开大学前往硅谷，追寻数学超级智能的奥秘。几年过去，他想为人们带来一些他的一些反思和经验。

在2026年的今天，我们生活在一个充满评估和比较的时代。

从人工智能模型的性能竞赛到我们个人的成就清单，数字和排名似乎定义了价值。

著名数学家 Ken Ono 教授分享了他的个人故事和对人工智能未来的深刻见解。他的人生旅程告诉我们，真正的智慧不在于击败他人，而在于找到属于自己的道路。

一块五年级的奖牌：被误解的父爱

Ono 教授的故事始于小学五年级。

那时他参加了一场数学竞赛，获得了第三名。对于一个五年级学生来说，这成绩不错。但他的父亲是一位著名数学家。父母出席了比赛，而“著名数学家的儿子”只得了第三名。

在回家的路上，车里一片寂静。父母没有讨论此事。在之后的五十年里，Ono 教授一直认为这是一次彻底的失败，他让父母失望了。

然而，一切在今年一月改变了。他的父亲去世后，家人在清理遗物时，在父亲佛罗里达公寓的橱柜里，发现了他小心保存的那块五年级数学竞赛的第三名奖牌。在父亲所有可以保留的物品中，他留下了这个。

Ono 教授意识到，他一生都在误解这件事。这个没有赢得的奖牌，对他父亲意义重大。父亲看到的不是排名，而是儿子努力想做得好的那份心意。

有毒的比较：当标准来自他人

我们的生活充满了各种基准和比较。人工智能公司竞相追求更高的模型评分。学生为了进入排名更靠前的学校而奋斗。我们在求职时，简历也需要通过各种算法的筛选。

但真正的智慧能用分数来衡量吗？ 一个智商更高的人就更聪明吗？排名第五的学校就一定比第七名好吗？Ono 教授这样认为，如果我们必须活在他人的标准之下，那么我们就没有为自己而活。

残酷的事实是，如果你不是勒布朗·詹姆斯或诺贝尔奖得主，你总能找到看起来更好、成就更高的人。 如果我们陷入不断的比较，就等于剥夺了自己过上应有生活的权利。

这种比较是有毒的。它让我们忘记了评判一个人，要看他的品格、判断力和独特成就。治愈癌症的方法，绝不会是一张清单上的复选框。

数学家的身份危机：当人工智能开始“思考”

Ono 教授作为一名数学家，也曾深刻体验过来自人工智能的冲击。大约一年前，他从大学的课堂离开，加入一家名为 Epoch AI 的人工智能公司，编写极其困难的数学问题，用以测试大型语言模型的能力。

起初，他觉得这很容易。但后来他发现，看着这些模型解题的推理痕迹，令他感到震惊甚至恐惧。模型会犯错，但它们的推理能力已经走了很远。

他形容这种感觉为身份危机。就像一个19世纪末的佃农，第一次面对内燃机拖拉机，意识到自己的耕作方式可能没有未来。

他看到人工智能模型解决了他研究计划中的问题，这非常令人沮丧。数学，这门被认为需要多年积累的技艺，似乎正变得可以由机器自动化完成。这对于那些投入多年心血学习数学的学生和学者来说，是一个巨大的冲击。

研究的意义：从积累知识到提出问题

这次经历改变了Ono教授对自己工作的看法。

过去，他以自己能够积累多年知识、结合多种技巧来解决难题而自豪。但现在他反思，如果数学家的工作仅止于此，那这确实是可自动化的过程。

真正的研究始于一个你无法回答的问题。 你尝试，失败，然后对这个猜想了解得多一点。你的工作照亮了一条可能揭示一系列新问题的道路。你再一个一个地去攻克它们。

这是一个“进两步，退一步”的过程。当你意识到研究不是“问一个问题，得到一个答案”时，你会明白人工智能工具实际上是在降低你进行发现的负担。

过去，我们做习题、积累技巧，是在学习数学如何组合，这很重要。但这本身并不是发现。现在，人工智能可以处理数以千万计的计算，把人从繁重的计算中解放出来，让我们能更多地参与到真正的发现过程中。

从“超级智能”到“副驾驶”：重新定义人与AI的关系

Ono教授坦言，他对谈论“超级智能”感到不安。“超级”意味着比其他人更好。他认为，我们真正面对的未来和现在，应该是人工智能作为我们共存的工具和副驾驶。

我们会称一辆汽车比人“跑得快”吗？显然会，但我们根本不会这么想。技术减轻体力劳动是“超级”的。我们现在对“超级智能”如此担忧，是因为我们太多身份认同建立在思维技能上。

他在大学时为了考试死记硬背的知识，到了夏天可能就忘了。他确实从过程中学到了东西，但学到的不是那些被遗忘的信息。

那么，什么是真正的智慧或成就呢？Ono教授这样认为：

• 如果有人写了一首诗，深深震撼了你。
• 如果有人证明了一个数学定理，即使有AI的帮助，但这代表了人类从未见过的新知识。

这就是智慧，这才是真正“超级”的成就。

人工智能的三种形式与未来的关键：形式化

我们需要先理解，人工智能有多种形式。

1. 大型语言模型 (比如ChatGPT)：这是我们最常接触的，就像一位无所不知的图书管理员。
2. 机器学习与超人类搜索：用人类不愿做的方式在海量数据中搜索模式。例如，科学家们用此方法解决了蛋白质折叠问题并赢得了诺贝尔化学奖。
3. 形式化：这是Ono教授认为最具希望的部分。形式化是将人类的自然语言转化为计算机代码，然后让AI研究这些代码，寻找漏洞。这被称为可验证的计算机代码。
   
   

当今世界有大量代码并非人类程序员编写，而是由AI生成。但这些代码并不完美。形式化的目标就是减少这些低效和错误。

当我们将数学、计算机科学或其他领域的知识形式化时，我们常常发现原有理论框架存在不完整之处。

一个例子：重新思考经济学的基石

Ono教授的公司正与哈佛大学著名数学经济学家Scott Commoners合作，将经济学中的数学理论形式化。

他们有了惊人的发现。2026年正是诺贝尔奖得主罗伯特·奥曼一个著名定理的50周年。该定理探讨在拥有共同先验知识的情况下，各方是否可能“同意保持分歧”。在生活中，我们常说“求同存异”。

然而，奥曼的定理在严格逻辑上并不允许“同意保持分歧”。真正的结局是，你们最终能理解彼此的视角。这个定理意义重大，但其中包含关于“共同先验”等概念的微妙假设。

正是通过形式化，经济学家们发现这个基础定理的陈述和应用并非完全准确。现在，全球许多经济学家正加入这项工作，认识到为了经济学的严谨，它必须被形式化。

人工智能时代的新机遇与人类价值

我们或许担心工作流失，但新时代也创造了新机遇：

• 用AI为AI设立护栏：网络安全将需要大批计算机科学家、伦理学家和律师，来思考和构建这个新世界的规则。
• 形式化专家：致力于为各个领域建立安全、可靠的底层逻辑系统。
• 高风险的判断：大型语言模型是优秀的图书管理员，但你不会想让图书管理员来做你的神经外科手术。

对于即将进入大学或研究生院的新学生，Ono教授给到的建议是：如果你想成为数学家，现在就开始学习形式化。2026年的竞赛不应是追求更强的计算力，而应是追求更多的真理。

形式化可以帮助我们得到“经正式验证”的事实，这是一个非黑即白的问题。但判断是人在获得信息后如何选择行动。自主无人机可以监测交通，但决定是否攻击一个目标则需要人类的判断。在大多数我们关心的高风险情况下，你都会希望有一个人在房间里参与决策。

追求充满意义的人生：从一位摇滚歌手学生说起

Ono教授曾有一位名叫罗伯特·施耐德的研究生。

施耐德原来本是一位著名的独立摇滚艺术家，是一个乐队的制作人和主唱。他热爱使用老式麦克风和音响设备巡演，但这些设备经常需要昂贵的维修。

于是他决定自学电子学。

他翻开书，看到的第一个公式是“欧姆定律”。这让他开始思考：自己创作和演唱的音乐，本质上是如何通过电路转化为声音，再被大脑接收的？

这个故事深深打动了Ono教授。

施耐德从一个大学辍学生，重返校园获得数学学位，最终成为他的学生。打动教授的，不是一份完美的成绩单，而是那份将看似无关的激情与智识探索结合起来的独特火花。

Ono教授认为，如果我们认为成功的路径仅仅是上对学校、拿好成绩、获得学位，那将是一种不动脑筋的生活方式。这没有给自己权利去过上本该属于你的人生，只是在遵循一个我们认为成功几率很高的食谱。

结语：给自己许可，活出真我

活在今天这个时代，我们很容易被数字、排名和算法的复选框所定义。但我们需要一场运动，去放慢脚步，真正评估一个人是谁、他的经历、他的品格以及他如何与人相处。

在生命的尽头，人们最大的遗憾往往是：“我多么希望曾有机会活出我自己的人生。”

Ono教授是一位日裔美国人，在巴尔的摩一个几乎全是白人的社区里长大，曾因戴眼镜而被嘲笑。作为学校里几乎唯一的亚裔孩子，与众不同曾让他痛苦，但最终也赋予了他力量。

生活给你的挑战，不一定要成为你的枷锁。 你无法改变周围的世界，但你可以选择属于自己的人生。

给自己许可，去探索你的热情，即使它并不流行。保持灵活，拥抱那些为你而生的机会。在这个人工智能日益强大的时代，我们最需要守护和培养的，恰恰是那份独属于人类的、对世界的好奇，以及追寻属于自己道路的勇气。

作者：洛逸

来源：

https://www.youtube.com/watch?v=MG0CPqjjOvk