人工智能
近一年来，OpenAI、Anthropic等多家实验室宣布在多个长期悬而未决的数学难题上取得突破，部分成果甚至远超研究人员对当前系统能力的预期——其中包括解决了著名的"千年大奖难题"之一。但以典型的硅谷风格，这些AI实验室正在"快速行动，打破常规"，以推土机般的方式强行闯入这一学科领域，缺乏应有的审慎与克制。原本应被庆祝的成果反而引发了强烈反弹。AI实验室表示正在从早期错误中学习，但这些承诺能否兑现仍有待观察。
以下是AI接管数学领域的最新进展报道。
OpenAI持续"碾压式"闯入数学界
在混乱的几个月里，OpenAI展现出惊人的一致性：一方面在数学领域取得令人印象深刻的突破，另一方面却在成果发布上接连搞砸。如今OpenAI正试图改进，但似乎又把这件事也搞砸了。
OpenAI修复与数学界关系的最新尝试，是咨询一个由精英数学家组成的新独立咨询小组。然而，接受The Verge采访的数学家——包括该小组的一位成员——描述称，这是一场混乱且令人困惑的事件，带有OpenAI此前仓促涉足数学领域时的诸多特征，这表明该公司从以往的错误中几乎没有学到什么。更令人担忧的是，该小组首先被要求完成的任务，是协助协调发布OpenAI声称其未公开模型已产生的更多研究成果，而这一即将到来的"成果洪流"已经让研究人员对该领域的未来忧心忡忡。
OpenAI希望咨询顶尖数学家，以避免再次搞砸
在将一系列惊人的数学成果变成一场声誉危机之后，OpenAI开始咨询人类数学家，希望找到一条不那么灾难性的前进道路。
周一，该公司宣布成立一个新的独立数学家小组，负责就其及其他AI公司与数学研究及更广泛数学界的互动提供建议，包括新成果应如何呈现和发布。这一消息的突然出现让许多数学家感到意外。研究人员告诉The Verge，这个小组是一个良好的开端，但许多人表示，他们对该小组究竟会做什么、将拥有多大影响力、OpenAI是否真的会听取其建议，仍存有基本疑问，同时也担心这样一个由少数知名研究者组成的小组能否代表更广泛的数学界。
OpenAI只想赢
过去几年里，OpenAI一直在日益艰难的数学领域"插旗占地"。本周，该公司宣称拿下了迄今最大的"奖杯"之一：解决了一个传奇的千年大奖难题。在正常情况下，这应被视为一项历史性成就加以庆祝。
然而，许多数学家却以日益不安的心态看待OpenAI的这种高歌猛进。在他们眼中，这家公司与其说是热情的新来者，更像是一个资源无限、强行闯入他们毕生研究领域的"闯入者"，对长期以来的学术规范以及对其他研究者的影响似乎毫不在意。这种不安的核心在于，人们感觉OpenAI从事数学研究的目的与数学家不同：数学家希望推动这一学科的发展，而OpenAI只想赢。
数学家要求OpenAI证明未曾使用他们的研究成果
另一位研究者再次就OpenAI日益亮眼的数学发现背后所用的数据提出质疑。就在该公司模型是否得益于未发表研究成果而引发激烈争议后不久，第二位数学家站出来，指责这家AI巨头行为"不诚实"且不道德，并在训练数据来源上缺乏透明度。
数学家Andreas Thom在Mastodon上发布的一系列帖子中表示，他和同事们在OpenAI高调宣布成果之前曾与ChatGPT聊天机器人进行过交流，这些互动可能对该领域的成功做出了贡献。OpenAI上个月高调宣布的10项成果之一，涉及Thom的专业领域——所谓的"非sofic群"，OpenAI也承认该成果在很大程度上建立在Thom与另一位数学家Gábor Kun此前研究工作的基础之上。
OpenAI暗中实现的数学突破令学术界心生寒意
OpenAI周二宣布已解决一个传奇的千年大奖难题，这本应是一个值得庆祝的时刻。该成果无疑是一项成就，也生动展示了AI正以多快的速度改变数学领域。但在正式宣布之前，这一突破就因促使OpenAI研究该问题的特殊背景而变得复杂：在听闻其他研究者已取得进展后，该公司似乎动用了庞大资源，发起了一场抢在他人之前完成的"最后一搏"。随之而来的争议浮出水面，包括涉嫌"抢发成果"、"刺探"以及公然违反长期学术规范的指控，研究人员担心这可能对整个领域产生寒蝉效应。
伦敦玛丽女王大学数学教授Abhishek Saha解释说，OpenAI的行为属于"数学家通常不会做的那种事"。
围绕OpenAI里程碑式数学成果的争议持续发酵
据《纽约时报》和《连线》杂志此前报道，OpenAI表示已找到一个困扰数学界约90年的重大问题的解决方案。该公司在周二的一篇博客文章中宣布，其利用一个比新发布的GPT-6 Astra更强大的内部AI模型，结合1万个并行智能体，发现了纳维-斯托克斯方程问题（涉及液体和气体流动）的解法。纳维-斯托克斯问题是七个千年大奖难题之一，每个难题的解决都附带100万美元奖金。
OpenAI表示，其于8月28日开始训练该内部AI模型，该模型"在包括数学的多项基准测试中展现出前所未有的表现"。这一成果对数学界而言是重大突破，但也伴随着争议。
欢迎来到数学界的AI危机
在今天的Decoder节目中，我与The Verge驻伦敦的AI记者Robert Hart探讨了AI正在对数学领域产生怎样的影响，以及众多顶尖数学家因此而经历的生存危机。
OpenAI刚刚公布了一批针对数学界长期难题的解决方案，在该领域引发了巨大震动，也激起了数学界的激烈争论。Rob花了一些时间与我们这个时代最杰出的数学家中的几位进行了交流。
AI接管数学的时代已经开始
数学家James Maynard在过去一年里花了大量时间"反思自我"。这位牛津大学教授、菲尔兹奖得主告诉The Verge，随着这个传统上进展缓慢的学科被迫加速适应AI，他一直在思考自己所在领域的未来。
就在我们交谈的几天前，OpenAI宣布其已产出10个长期悬而未决的数学问题的解决方案，其中一些问题已困扰学术界数十年。与用于生成文本和图像、或在科学与医学领域提出想法的生成式AI类似，这项技术从海量训练材料中学习模式与关联，并利用这些规律创造新的内容。应用于数学领域，这意味着以新的方式组合已知的结论、方法与工具来攻克难题，有时还能在看似不相关的领域之间建立联系，或重新发掘被埋没在学术文献中的概念。
Q&A
Q1：OpenAI宣布解决的千年大奖难题是什么？
A：OpenAI宣布利用内部AI模型解决了纳维-斯托克斯方程问题，这是涉及液体和气体流动的经典数学难题，属于七个千年大奖难题之一，每个难题解决后可获得100万美元奖金，该问题困扰数学界已近90年。
Q2：数学家为什么对OpenAI的数学突破感到不满？
A：数学家担心OpenAI在未经证实是否使用了他们未发表研究成果的情况下取得突破，并指责其存在"抢发成果"、违反学术规范等行为。许多数学家认为OpenAI从事数学研究的动机是"求胜"而非推动学科发展，这种心态与传统学术界理念相悖，引发了业内广泛的不安情绪。
Q3：OpenAI成立数学家咨询小组是为了什么？
A：OpenAI成立了一个由精英数学家组成的独立咨询小组，旨在就公司及其他AI企业如何与数学研究界互动、以及如何呈现和发布新成果提供建议。但该小组首先被要求协助处理OpenAI声称未公开模型已产出的大量新成果，这引发了研究人员对小组实际影响力和代表性的担忧。
