2026年10月6日，OpenAI 公布了由其内部 AI 模型生成的722份数学手稿，其中不少成果达到了普通数学家穷其一生也无法抵达的高度。数学界对此反应激烈，犹如氢弹轰临。一些数学家认为，数学命题研究的意义并不在于简单的证明命题的正确与否，更重要的是由证明的过程中创造的新的数学工具和开创的新的领域。这个态度耐人寻味，不禁让我联想到拉康的精神分析理论。 一、目标与欲望的断裂 上学的时候，我们总是渴望自己能得到100分，但这个100分是什么呢？我想得到100分有以下几种途径。 直接给自己的试卷写100分 老师看也不看直接给你打100分（这通常出现在老师对作弊的讽刺中） 你通过自己的长期学习得到了100分 显然我们想要的是第三种100分。我们渴望的不是试卷上鲜艳的红色100这三个数字，而是一种认可、一种优越等等。但是当我们想要得到100分的那个时候，我们知道自己想要这个吗，即使我们对自己得到一百分后的那种被赞赏的场景有所想象，但这与我们真正达成一百分之后的那种感受显然有所不同。由此，我们可以清晰的感受到几种符号与其背后意义的断裂。我们想要达成的100分并不只是试卷上写着的100分。我们达到100分后的感受也并不是我们所幻想的那种感受，相反我们回溯性的把我们后来的感受当成了原来的目标。 我们所追求的东西一开始并不存在，其恰恰是在我们追求的过程中被创造出来，又被我们回溯性地认定为最初的目标的。新的数学工具与此具有相同的结构，我们并不知道当我们证明完成某个命题之后是否会创造出新的数学工具，开创出新的领域，我们只是想要证明这个命题，把这个命题当作自己的目标。当我们真正创造了某些数学工具之后，我们才能说：哦，原来我想要的是这个。 二、当符号化目标不再需要我们的行动 过去，我们总是树立一个又一个的符号化目标，并通过自己的行动去完成它，在行动中创造意义，在追求目标的过程中完成享乐。我们原本并不知道自己究竟想要什么，但这种对于自身欲望的无知，却被追求目标的行动所遮蔽。我们不断行动，不断遭遇新的体验，并在事后回溯性地将这些体验认定为自己最初所追求的东西。于是，那些原本无法被明确描述的欲望，似乎终于在行动中找到了自己的对象。 然而AI的强势出现改变了这一过程。 解决一个数学命题不再需要我们的思考与研究，只需要编辑好命题发送给AI，答案自然出现。原来我们需要行动的阶段消失了，那个来建构自己原初欲望的过程不存在了。我们得到了答案，但是好像又失去了什么，失去了那个我们真正期待却未曾存在过的体验。 AI的出现使这一长期被符号化目标与行动遮蔽的问题暴露，使我们不得不面对拉康的追问：Che vuoi？（你想要什么？） 三、数学家只是最先遭遇这一问题的人 我们每个人都在追求着一个又一个符号化的目标，但我们却不知道自己想要什么。过去，尚有行动这一阶段来缓和欲望与符号化目标的断裂这一矛盾。现如今，AI在各个领域狂轰滥炸，能力指数级的飞升，让这种矛盾以前所未有的方式暴露在我们面前。当我们想要达成的目标在顷刻间实现，或许我们感受到的不是享受，而是焦虑。当心想事成成为现实，而实现过程被剥夺，无意义的漩涡将把我们吞没。 1 个帖子 - 1 位参与者 阅读完整话题

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：服务器 / LINUX DO - 最新话题
  • 发布时间：2026/10/8 16:32:44