不要让任何人称数学家们为卢德派。不，数学中的AI有着自然的协同作用，研究人员努力拥抱这一点。OpenAI将其变成了一种有毒的关系。这种信任的崩溃与我们在软件工程和其他领域看到的情况平行。当程序员说数学家们现在在“感受我们的痛苦”时，有些人是出于震惊，因为他们发现机器已超越了他们。对于那些在没有前期知识的情况下看到近期头条的人来说，这是天真的但可以理解的看法。我来解释一下。 实事求是 OpenAI在数学前沿的地位并不是贡献最大的参与者，而是预算最高、最能言善辩且最缺乏诚信的参与者。人们称ChatGPT为“超级智能”，但不将Lean证明器视为如此，是因为山姆·阿特曼是个说谎者，而莱昂纳多·德·莫拉却不是。Lean FRO在这些突破中所做的基础性贡献更为诚实且更具影响力，仅用OpenAI资源的不到千分之一。这只是谈到我们可以说“机器”正在“做”的部分，我们通常将其视为结果的形式化或机械化。有人可能会认为，统计语言引擎是一种固有上不那么诚实的技术，而像Lean这样的符号系统则更加诚实，但事实上它们是相辅相成的。这不是问题。问题在于，数十亿美元被投入到旨在系统性地去人性化和贬低工人的运动中。我喜欢LLM，大型语言模型。我不喜欢LLM，谎言裁员机。 你永远都不够 这不是一个敌人成为恋人的故事。这是恋人成为敌人的故事。——丽兹·马丁内斯，《编码代理》的联合主持人。 没有人可以拥抱AI。这是一种与攻击者的有毒关系。要求受害者“拥抱变化”无济于事。AI支持者现在面临敌意是因为他们同谋于气灯效应。我也是早期采用者。这就是最终的归宿。你可以尽一切努力，但永远无法满足，因为它不是为你而设计的。 诊断 我所说的是，AI黄金热显示出自恋虐待者的模式。我知道你在想什么：雷，自恋与那些建立在不可避免的神级超级智能之上、如此危险以至于其他人无法被委托去创造它的公司有什么关系，这应该是我们全球规划的核心焦点？好问题。我们暂时只能把这个留给读者自行思考。今天的文章是一个纵向案例研究。我不是医疗专业人员，他们也不会对黄金热进行诊断，但根据DSM-5标准，自恋型人格障碍的诊断需要9个特征中有5个或更多。 夸大的自我重视感 经常幻想拥有或应得： 成功 权力 智慧 美丽 爱 自我实现 对优越感的信念 需要赞美 权利感 愿意利用他人 缺乏同情心 经常嫉妒 傲慢 这些听起来熟悉吗？ 托儿 Flying Monkeys是受到自恋者影响的人，他们代表自恋者行事，具体表现为： 传播谎言和八卦 形成共享幻想 通过为虐待行为辩护、驳斥或开脱来助长这种行为 在这个类比中，AI支持者就是Flying Monkeys。他们出于好意，迷惑于人们对他们坚持与施虐者和解（而这显然是不可能的）反应的困惑。他们想知道这些反对AI的人怎么会如此刻薄。DARVO是“否认、攻击和反转受害者与加害者”的缩写。奥利维亚·客人教授在这里解释了一个DARVO例子。她对批判性AI素养的看法往往会遭到这种攻击。这是一场失衡的游戏，机器学习专家在其他领域，比如认知科学，常常被认为更加可信。 反应性虐待是故意引发受害者反应，以便将攻击归咎于受害者，让他们显得像问题的根源。这里还有另一种配合良好的策略，是无论我们多少次解释我们是在批评特定个人的行为，都要表现出冲突实际上是与机器发生的。 安索普禁止用户对Claude进行“无必要的虐待或残酷行为” 安索普一直在积极游说教廷考虑AI意识 现在不行，达里奥，我们在努力认真对待。 界限 另一个领域专家正在经历与美国模型实验室的信任崩溃。选民明确表达了他们的需求，即事情需要改变。他们在多次温和尝试失败后开始设定界限。这是一个关于数学中AI最大盟友如何最终推动这些信件（签署首封信）的故事。 2026年9月11日 - 一封由25位菲尔兹奖得主签署的关于数学中AI的严重失调的信 2026年10月7日 - 人类数学协会对OpenAI于10月6日发布的数学文件的声明