昨天，OpenAI宣布解决了十个数学中的开放问题，所有问题都是由一个尚未发布的模型发现的。只有一个问题，即编码理论的问题，我知道足够的知识可以说“哈，这很重要”，但是根据我信任的数学家的说法，这是重要的。不可避免地，人们会编造一些诡辩来应对，试图说服自己一切都不会改变。这没关系。人们需要应对。但当世界在我们周围发生变革时，我们不能永远把头埋在沙子里。因此，这里有一份人们将如何应对人工智能接管数学的方式列表，以及每种应对方式如何可能被现实所驳斥。我的意图并不是让每个人都感到非常沮丧，而是帮助他们消化这种技术的意义。这里的论点是相对可移植的：根据需要将“数学”替换为“植物学”或其他内容。移动目标。这显而易见，不值得讨论。“我们将指导人工智能，让它们解决问题和研究领域。”人工智能将在品味和直觉上优于人类。在某些时候，指路的人所得到的结果会比说“这里有一个证明检查器，玩得开心”的人更差，并且为令牌付费。“我们将教会数学人工智能发现的内容。”人工智能将比人类更好地教学。无论如何，前沿数学的阐释工作将不会有人工观众。“我们将决定如何认可人工智能发现的结果。”这是一种不错的应对方式。人工智能是探索前沿的探险者，人类感激地接受他们的Lean证明，然后就此进行讨论，选择哪些结果是相关的，把这些结果形成小砖块，来构建代数的大教堂。与上述类似：人工智能将自主建造大教堂。它们将比我们更好的建筑师。“我们将成为人工智能数学的学生。”这适用于人工智能深入推理数学库时，初等数学与前沿之间的距离超过任何人在一生中希望学习的程度，无论他们的关注点多么狭窄。“我们需要人类理解人工智能发现的结果。”我们不需要！这误解了观众将是谁。人工智能将进行前沿数学，下游人工智能将利用新的数学进行前沿科学，最终，人工智能将利用新的科学进行前沿工程。没有人需要理解其中的任何内容，确保人类理解结果的公司将被那些不这样做的公司所超越。结果是我们将生活在一个被恶魔阻扰的世界，充满了我们无法理解的奇妙设备，其运作基于我们无法理解的工程原则，使用我们无法理解的形式主义被发现。“计算机在国际象棋方面已经超越了人类，但我们仍然在下棋。”与大多数应对不同，我认为这一点是有趣的。计算机是超人类的国际象棋玩家，但我们并不在意，继续照常下棋。为什么数学应该有所不同？我认为主要原因是，国际象棋是自我包含的：国际象棋的结果并不帮助我们理解行星的轨道或药物与蛋白质表面的结合。但数学，众所周知，是科学的巨大发电机，是理解世界的最佳语言和方法。一台可以替代人类数学家的机器，但更好、更快且 cheaper是物质上有用的；而一个更好的国际象棋引擎则不是。如果两个超人类的国际象棋计算机互相对弈，又有什么关系？这种需求很少，因此没有人能超越。一个超人类的数学家是不同的。“数学会改变，但数学家和有数学倾向的人仍会独立做数学。”我认为这忽视了数学嵌入社会背景的事实。举个例子：当明确AI会取代软件时，我的应对是：“我很乐意在我的职业生活中成为代理的工程经理；在业余时间，我仍然可以为了乐趣编写代码。”而我确实这样做了。但这种应对忽视了人工智能对编写代码的社会背景产生的影响：讨论变得更糟，反智思想大幅增加；曾经谈论类型系统和编译器的人现在谈论“循环”和“工具”；你在GitHub上放一个手工制作的项目，就会收到低质量的PR；你打开一个链接到有趣项目的网页，发现README是无法阅读的AI垃圾。长期以来，思考是令人泄气的：会有人设计新的编程语言吗？如果我设计了一种新语言，会有人在乎吗？如果我编写了一个引入优雅新形式来解决特定问题的库，会有人使用它吗？换句话说：没有人是一座孤岛。你可以独自进行数学活动，但你会发现，能在单靠内在动机的基础上长期维持任何活动的人非常非常少。我们是社会动物：我们关心有用性、地位以及世界的结果。结论我认为我应该结束了。