BLOG
拾闻对谈 第三十一期｜数学家在哭，基金会掏了1500万美元：情绪成本第一次被正式记账
开场小对谈：机器先砸了数学家的塔
拾闻：这周科技圈最反常的一条新闻，不是哪家模型又刷了榜，而是一群数学家公开说自己在哭。今天从头讲讲？
永亮：好。时间线很短。10月初，据报道 OpenAI 发布了数百项数学发现，许多证明横跨数论、理论计算机科学和逻辑，其中一些曾困住世界最好的数学家几十年甚至几个世纪。10月15日，Simons 基金会宣布联合 Anthropic 和 OpenAI，承诺合计1500万美元的资金与资源，帮数学界应对 AI 的快速崛起。一边是行业性的悲伤，一边是一笔补偿金，中间隔了不到两周。
拾闻：为什么说反常？
永亮：因为我们习惯了两种叙事：要么是「AI 取代某某职业」的恐吓，要么是「AI 是工具」的乐观。这次的特殊在于，被冲击的是一群以智力为身份的人，而冲击他们的公司选择掏钱办工作坊、立标准，等于第一次把「情绪成本」记进了账本。我带了十七年技术团队，峰值管过七十人，Java 出身，知道这种账本意味着什么。以下个人经验会逐处标明。
Q1：数学家到底在哭什么
拾闻：先把悲伤本身说清楚。有哪些原话？
永亮：两句最有分量。2022年菲尔兹奖得主 Hugo Duminil-Copin 接受采访说：「周二晚上我哭了，哭醒了我女儿。他们歼灭了我的研究领域。」康奈尔数学家 Steven Strogatz 说得更复杂：「人们在用『他们在露天开采我们的学科』『他们在核爆这片地貌』这样的说法。那种感觉是迷失。有些天我晕头转向，有些天我兴奋不已。还有巨大的悲伤。」注意 Strogatz 没有只说悲伤，他把兴奋和晕头转向放在一起，这个细节后面还要用。
拾闻：菲尔兹奖得主，相当于这个行业的最高荣誉获得者，说自己被「歼灭」了。这不是普通的不适应。
永亮：对，被砸掉的不是饭碗，是塔。数学家 Duminil-Copin 们几十年积累的领域，机器几个月就推平了。写《I Know Why the Mathematicians Weep》的 Derek Thompson 有一句判断我认同：一个产出是智能的技术快速进步，注定要与一个珍视人类智力、并常把智力等同于目的、尊严和自我价值的现代情感发生剧烈碰撞。翻译成人话：当你的职业身份建立在「我是最聪明的那批人」上，机器的聪明就不是竞争，是身份危机。而身份危机没有培训课可以上。
拾闻：你带团队时见过同构的场景吗？
永亮：见过，这是我的经验，不是统计。Java 生态几次大换代，比如框架从 SSH 到 Spring Boot、部署从物理机到容器，总有一批四十岁上下的老工程师，代码质量全组最好，但引以为傲的手艺突然不值钱了。他们嘴上说学不动，实际是身份卡住了：我引以为傲的东西，机器和新框架十分钟就搞定，那我是谁。工程师的手艺尊严和数学家的证明荣耀，在这一点上完全同构。
Q2：1500万美元的补偿金，买了什么
拾闻：再看钱这一头。这1500万具体是什么？
永亮：按 Simons 基金会官方新闻稿，三方合计承诺1500万美元的资金与资源，未披露各家份额，也没说现金和算力资源的比例。资金由基金会管理发放，含公开提案征集，支持工作坊与倡议，帮研究者评估近期 AI 辅助成果、学习新工具、交流观点、形成 AI 使用的集体标准。Anthropic 和 OpenAI 另外向研究者提供 AI 工具和算力，范围超出数学，延伸到基础科学。
拾闻：为什么是 Simons 基金会牵头？
永亮：它不是路人。基金会1994年由 Jim 与 Marilyn Simons 创办，Jim Simons 创立了文艺复兴科技对冲基金，HN 评论者引维基数据说基金会2022年资产超50亿美元。更关键的是履历：官方稿自述它是科学机器学习的早期支持者，资助过 Lean 证明助手的开发。它既懂数学社区，又早就在押注 AI 辅助数学，由它出面收这笔钱，数学界最不抵触。
拾闻：主席怎么说这笔钱的定位？
永亮：David Spergel 两句话值得细读。第一句：「随着 AI 快速改写研究版图，我们希望帮助数学界走到一起，蹚出最好的前行之路。现在是时候把数学当作一个整体来看：不是一堆证明和定理，而是由人类好奇心驱动的共同理解。」第二句更硬：「这些工具如何评估、采纳和使用，讨论应该由社区驱动，而不是任何单一公司或机构。」翻译一下：钱是 OpenAI 和 Anthropic 出的，但规则要由数学家自己定。这是把「被冲击者」重新扶回谈判桌的设计。
拾闻：站在你的管理经验看，这笔钱的真实作用是什么？
永亮：钱本身解决不了身份问题，1500万对五十亿资产的基金会也不算大钱。真正的信号是记账：组织愿意正式承认「从业者有情绪成本，且值得出资安置」。我做管理这些年有个体会，这是我的经验：团队被技术换代冲击时，最难的不是培训预算，是没人承认大家难受。承认本身就是干预。
Q3：评论区的怀疑面：这是补偿还是洗白
拾闻：Hacker News 上这条新闻两百多票，评论区买账吗？
永亮：不太买账，我把主要观点转述一遍。有人说，OpenAI 和 Anthropic 因把数学发现变成自家模型的 PR 胜利而遭反弹，现在各掏约500万美元（这是评论区估算，官方未披露份额）做公关洗白，部分还是 token 额度，基金会等于给实验室递上一块「体面的遮羞布」，可能是史上批得最快的一份资助提案。有人情绪更直接：对 AI 乱局负有责任的基金会之一，反过来贿赂数学家加速 AI。还有人担心分配：钱大概率流向早已资金充足的头部数学家，早期职业阶段的学生接盘，好比给 Node.js 基金会捐钱，而不是捐给那些真正缺维护的包。
拾闻：金额本身有没有质疑？
永亮：有，而且是两个方向。一个方向说1500万其实不大，大学行政拿走一半就剩不下多少，可能只够资助不到十个研究组；另一个方向说这点钱对这两家公司是「沙发缝里的零钱」，用大数字做标题唬人本身就可疑。还有一问最扎心：给科学家的如果是 token 额度，会不会只是鼓励更多模型使用，而这正是引发问题的行为本身。也有实操派给了建议：在 ChatGPT 和 Claude 的设置里关掉「帮助改进模型」的数据授权，虽然发布后的作品仍可被抓取。
拾闻：这些怀疑你怎么裁决？
永亮：动机质疑和机制价值可以分开判。动机上，公司确实有自利成分，这不用洗。机制上，工作坊、公开提案、社区定标准，这些安排对研究者是实在的，且「讨论由社区驱动而非单一公司」写进了官方稿，这是可以被追责的承诺。我的判断，标出来：看这类补偿金别听动机论战，盯交付物。提案征集开没开、工作坊办了几场、AI 使用标准有没有形成文本，三个月内都见分晓。
Q4：另一面：悲伤不是行业定论
拾闻：有没有人说数学家哭得太早？
永亮：有一批技术边界论，我认为质量不低。一位评论者说，AI 做的事本质是模糊测试，在解空间里寻找有效输入，它不理解发生了什么，而没有理解就无法创造下一代数学抽象。另一位说，大模型只是在现有知识广度内暴力求解，终会耗尽，届时唯一出路是用人类新发现的知识训练它，而找新知识可能指数级更难。还有一位自称数学家的说得很诚实：我也悲伤，但我的悲伤在某种意义上已经计入价格。变化确实快，有人回忆，数学家 KConrad 2024年还在论坛上评论 AI 对研究无用，今年5月 AI 就推翻了单位距离猜想，只用了五个月，它就在几乎所有方面超过人类。
拾闻：两边都有道理，你的平衡点在哪？
永亮：回到 Strogatz 自己那句话：有些天我晕头转向，有些天我兴奋不已。当事人都不给单一情绪定论，外人更不该。技术边界论回答的是「AI 能不能创造新数学」，这个问题现在没有答案，Thompson 文中那个反问很诚实：如果我们该把数学主要当作一场求索，而不是一场感受与发现同等重要的对话呢？Strogatz 讲过阿基米德两千年前写信说不缺后来者为我们分到的定理添砖加瓦，数学是一代代人的对话，不只是结果。对话被机器插嘴，是兴奋还是悲伤，取决于你把自己放在对话的哪个位置。这是观点，不是结论。
拾闻：Thompson 还有一句被评论区反复引用的话。
永亮：「今天数学家在哭，因为机器先砸了他们的塔。但明天，哭的可能是物理学家、经济学家、插画师，或者作家。」他还补了一句自我定位：我不是那种相信几亿份工作会在五年内被抹掉的 AI 论者，但我是现实主义者。这也是我给这一期定的调：不贩卖末日，也不假装没事。
Q5：给被冲击的从业者和管理者
拾闻：落到具体的人身上，这件事怎么用？
永亮：三句话，全是经验，不是统计。给从业者：悲伤是理性的，它是对沉没成本的清算，也是重新定价的开始。别急着「走出来」，但要给悲伤设一个期限，期限内哀悼手艺，期限后盘点手艺底下那层没被砸的东西：提出好问题的能力、判断结果好坏的品味、跨领域连接的直觉。机器先学会解题，最后才学会提问。给管理者：团队核心技能被追平时，你要管的不只是技能重置，还有身份重置。培训预算解决前者，承认情绪解决后者，两个都要立项，别只批一个。给所有人：留意你所在行业有没有人开始办「AI 使用标准」这类事。基金会这1500万开创的动作，是把从业者情绪成本正式记账，其他行业大概率会跟进，早进场的规则制定权最值钱。
拾闻：最后一个问题：这件事最容易被误读成什么？
永亮：最容易被误读成「数学完了」。不是。本栏目上周报道过 AI 数学成果的验证问题，这里不展开，只说一点：数百项成果的审计还在进行，社区的第一反应是建立评估标准而不是投降，这本身说明行业还有力气。真正的信号不是数学家在哭，是基金会掏钱让数学家自己决定怎么用这些工具。哭是情绪，掏钱建标准是行动，后者才代表行业的走向。
尾声
机器先砸了数学家的塔，然后砸塔的人出钱，请被砸的人坐下来定规则。这一期的落点不是「AI 会不会取代数学家」，那个问题现在谁答都是猜；落点是那笔1500万美元开创的先例：从业者的情绪成本，第一次被行业正式记进账本。悲伤是理性的，承认悲伤的组织是聪明的。下一个哭的行业出现时，看有没有人跟进这个动作，就知道这次是孤例还是范式。
纵深：三个可以继续追的线头
- 提案征集的交付。 公开提案开没开、工作坊办了几场、AI 使用集体标准有没有形成文本，是检验这笔钱诚意的硬指标，三个月内可见。
- 资金流向的分层。 评论区担心的「头部数学家拿钱、学生接盘」是否成真，看首批资助名单的机构与职级分布。
- 其他行业的跟进。 物理、经济、插画、写作，哪个行业先出现自己的「Simons 时刻」，那将是情绪成本记账从孤例变成范式的标志。
信息来源
- Simons 基金会官方新闻稿（2026-10-15，一手直抓）：三方合计1500万美元资金与资源、公开提案征集、工作坊与集体标准、Spergel 两段引语、基金会1994年创办、资助过 Lean 证明助手、延伸至基础科学
- Derek Thompson《I Know Why the Mathematicians Weep》（2026-10-15，HN 325▲）：OpenAI 十月发布数百项数学发现、Duminil-Copin 与 Strogatz 引语（原始出处为 Wired 采访，转引自 Thompson 文，正文标「接受采访说」）、阿基米德段、Thompson 判断句
- HN story 50104654（Simons 计划，215▲）：评论区怀疑面全部转述不点名，「各掏约500万」标注为评论区估算
- HN story 50103630（Thompson 文，325▲）：技术边界论、bananaflag 与 QuesnayJr 观点，转述处理
- 基金会资产超50亿美元：HN 评论者引维基数据，非官方稿内容，正文已标注
- 嘉宾观点为个人经验与估算，非统计结论