人工智能已经深刻冲击了科技、教育、娱乐以及日常生活的许多方面。现在，它开始进入数学领域。
据OpenAI等公司表示，他们内部开发的大语言模型正在解决数量空前的长期数学难题，目标是"推动人类知识的前沿"。
但这些AI模型显然做不到的一件事是：理解世界顶尖数学家们的真实处境和情绪。
本周，OpenAI在GitHub上发布了700多份数学"预印本"，即初步研究论文。这一举动进一步激怒了本已情绪高涨的学术数学界。上个月，28位菲尔兹奖得主建立了一个名为"数学与AI"的网站，发表公开信指责AI公司的目标与数学家的目标存在"严重错位"。
菲尔兹奖每四年才颁发一次（通常授予三到四位数学家），被广泛认为是数学界的诺贝尔奖。在该网站声明上签名的获奖者之一、哈佛大学教授柯蒂斯·麦克马伦在给CNET的邮件中表示，AI公司并没有与数学专家进行协调，也没有以能真正惠及社会的方式使用AI模型。
麦克马伦说："前沿AI公司推出数学研究成果的方式，完全无视了这对我们这个学术共同体及其生态系统造成的深层震荡。它们的目标似乎是不惜一切代价提高这些公司的估值。"
"我们几乎什么都看不出来"
在"数学与AI"网站建立以及OpenAI发布论文库之前的几个月里，人们对人工智能将对数学研究产生的巨大影响已经积怨已久。由于这些模型主要是基于书面语言训练的，缺乏对基本事实的把握，一些模型最初的数学能力非常差，经常会放错小数点位置，或者干脆对数学问题产生错误的幻觉答案。
但与AI在其他领域的进展一样，这些模型以惊人的速度进化，从所谓的"数学笨蛋"变成了"数学奇才"，尽管也有人认为它们在取代真正的数学专家之前还有很长的路要走。
然而，那些毕生投入数学研究的人们，担心的不仅仅是自己的工作保障问题。他们对AI模型和AI公司处理数学的方式存在根本性的质疑，包括在如何取得这些成果方面缺乏透明度，以及对这些数学问题为何重要缺乏理解。据《科学美国人》报道，OpenAI自发布消息以来一直未对此作出回应，这让整个数学界"本已震惊不已"——就在一个月前，该公司刚刚解决了纳维-斯托克斯方程，这是一个悬赏100万美元都难以攻克的数学难题。
OpenAI发言人未立即回应置评请求。
麦克马伦在给CNET的邮件中承认，AI作为数学研究工具的潜力"是不可否认的"。但他表示，目前为止，这些研究的开展既不透明，也没有与科学家合作。麦克马伦说："尤其是，用来取得这些成果的模型应该与理解并提出相关猜想或问题的科学家们共享。"
OpenAI表示已经成立了一个依托于高等研究院的咨询小组，但并未详细说明该小组将如何运作，也未说明是否会共享其最先进的模型，只称这是"第一步"。
并非所有人都对AI对数学界造成的冲击感到不满；例如，在另一家领先的AI公司Anthropic工作的数学家列文特·阿尔珊向OpenAI团队表示祝贺，他在社交平台X上写道："确实有一些令人沮丧的故事，涉及他们的用户被抢先一步……但今天我们应该把这些放在一边。这显然是数学史上最重要的时刻之一。"
但GitHub的这次发布让许多数学界人士感到不满，因为他们没有足够的信息了解这批新问题中有多少被真正解决了。认知科学家、纽约大学荣休教授加里·马库斯在Substack上写道，这份发布"永远不可能通过同行评审。我们不知道具体的流程是什么……从最初的报告中，我们几乎看不出任何东西。"
麦克马伦表示，大规模解题——尤其是在缺乏背景信息的情况下——忽略了这项研究更深层的目标。他说："数学不是一场国际象棋游戏，它的首要目标是发展人类对抽象结构的理解。事实上，正是这种理解的广度和多样性，支撑着技术的进步。"
颇具讽刺意味的是，这种进步也包括那些吞噬了海量人类知识的AI模型本身。它们所给出的数学证明究竟会推进人类的理解，还是只会制造人为的混乱，目前还有待观察。
Q&A
Q1：OpenAI在GitHub上发布了什么内容？
A：OpenAI在GitHub上发布了700多份数学"预印本"，即初步研究论文，声称这些是由其内部大语言模型解决的长期数学难题。
Q2：为什么数学界对AI解数学题感到不满？
A：数学家们认为AI公司在取得成果的过程中缺乏透明度，没有与真正理解相关问题的科学家合作，也没有说明具体的解题流程，导致外界无法验证这些成果的真实性和价值。
Q3：菲尔兹奖得主们对AI解数学题持什么态度？
A：28位菲尔兹奖得主联合建立了"数学与AI"网站并发表公开信，指责AI公司的目标与数学家群体存在严重错位，认为AI公司是在不惜一切代价推高自身估值，而非真正推动人类对数学的理解。
