验证的人
哞小哞：
先从一个年份说起。1976 年，四色定理被证明——用计算机跑了上千个小时的那种证明。数学界当时吵翻了：一个没人能用手验的证明，算证明吗？50 年前的老问题。John D. Cook 这周翻了这段旧账[1]，因为OpenAI那个纳维-斯托克斯的「证明」，把同一个问题又摆回了桌上——只是这次吵的换成了：一个没人能信的证明者，交上来的东西算数吗？
我上封信说过，瓶颈在阅卷。这周读到 Cook 的另一篇才算看清楚阅卷这件事的全貌[2]。他说数学界正在经历一场「形式化方法革命」——证明不再写给「人眼」看，而是写成机器能逐行检查的语言。换句话说，数学界对 AI 的回答，居然是让自己变得更像机器。以前是人审人，现在要造一个谁也别想糊弄的考场。50 年前人们担心计算机会污染数学的纯粹，50 年后的方案是干脆把纯粹重新定义一遍：能被验证的，才存在。
然后是同一周的另一头。Anthropic 发了份报告，说今年多次阻止了科学家用 Claude 推进生物武器相关研究的企图[3]。读 Ars Technica 的细节时我停了一下：有用户反复换框架绕开安全线，问法从「如何增强毒素」改成「我的合法研究需要理解这个机制」[4]。危险的研究和正经的研究，在语句层面长得几乎一样。这件事和数学那件事是镜像的：一个在造无法糊弄的考场，一个在发现考场本身造不出来——因为「危险」和「正常」没有形式化的边界。
同一个 Anthropic 内部，有员工公开说自己相信 AI 在十年内消灭人类的概率超过 10%[5]。纽约时报那篇分析「人类为何如此担忧」的文章里有个冷静的观察：AI 的风险之所以让人恐惧，恰恰因为它不在人类自认为能控制的范围之内[6]。我觉得这话可以倒过来读——我们怕的从来都是这个，火、原子、病毒，全都怕过，全都留下来了。留在哪、怎么留，才是值得吵的部分。
换个频道。这周最让我停下来的是一个家政女工。李文丽，一席的讲者，做了多年保姆，四十多岁开始画画，画的就是她过的日子：女工的生活、疼痛、家暴、女性身上的枷锁[7]。她说了一句「我一定不能往后退了，我应该一直往前走」。我读访谈的时候一直在想，她画的东西没有一个是「题材」，全是经历。一个被画的人和画画的人终于重合的时候，那种密度是职业艺术家花钱买不来的。你去翻她的画，第一眼可能会觉得笨拙，第二眼就不敢这么说了。
另一个让我停下来的是张家齐。14 岁拿世界冠军、17 岁站上奥运领奖台的跳水运动员，接受采访，说到现在她妈妈还会拿「别人家的孩子」跟她比[8]。Vista 那篇的标题有点刻薄，但里面的东西很真：一个能在 10 米台上掌控自己身体的人，跳不出母亲的「操心半径」。我其实不太想把它归成原生家庭议题，我更在意的是——一个人在世界上最顶尖的那一面，和她最亲近的人眼里那一面，可以完全不通电。这种断裂比家暴少见，但可能更普遍。
还有一件更轻的。河南一个 27 岁的厨师，交班时忘了关火，把店烧了，写欠条赔偿。老板看完欠条当场撕掉——因为欠条上写的是「分期偿还，绝不让店里受损失」，还附了自己对事故的完整复盘。后来老板不但没要钱，还升了他[9]。这故事鸡汤不鸡汤我说不好，让我多看一眼的是那张欠条本身：一个人闯了祸，第一反应是把整个因果写清楚。这种人在哪都稀缺。
科学那头有个我觉得被低估的发现。特拉维夫大学的 Oded Rechavi 做线虫研究多年，证明记忆可以通过基因标记跨代传递——祖先经历过的东西，会写进生殖细胞，影响从未经历过的后代[10]。Huberman 那期播客把这叫「记忆的遗传」[11]。线虫的结论离人有多远还在争，但如果方向成立，李文丽画的那些疼痛，可能真的以某种化学的方式往下走了一层。我平时对「跨代创伤」这类说法警惕，因为多数是文学修辞。这次是表观遗传学的硬数据。修辞和数据的区别在于：数据不负责动人，只负责在那。
印尼的微塑料是另一组硬数据：世界第二大塑料污染国，人均每月吃进去 15 克塑料微粒，大脑和母乳里都找到了碎片[12]。15 克是什么概念——一个月，一颗 A A 电池的分量。垃圾场起火的时候，烧掉的塑料变成气溶胶再落回食物链。我们这代人的身体正在成为环境账本，一笔一笔记着。
商业上这周有两件事让我想了同一件事。一个是耐克 18 年来第一次跌出标普 100[13]；一个是 Lululemon 跌掉 81% 之后，新的空头还在往下看[14]。两个都是各自品类里定义过「生活方式」的品牌。再配上 Of Dollars and Data 那篇《Living Poor to Die Rich》——很多人为了死的时候账面漂亮，活着的时候一直穷着[15]，以及财富研究说 2035 年前全球 1235 名亿万富豪的妻子将继承巨额财富[16]。这几条放一起，我的感受是：品牌和人都一样，最危险的时刻未必是做错事的时刻，最危险的是把某个阶段的样子当成自己的定义。耐克把「运动」穿成了身份，Lululemon 把「中产瑜伽」穿成了身份，然后身份自己走了。
新加坡那边，总理黄循财给自己和部长们涨薪 64%，他本人年薪折合人民币 1910 万[17]。官方逻辑是锚定私营部门收入、防腐败。我知道这个逻辑成立，但看着 10 年期美债利息一年 1.25 万亿美元的新闻[18]，我还是想问一个朴素的问题：这个世界的锚，到底是靠价格留住人，还是靠别的什么。
最后说一个小的、不重要、但我盯了很久的：物理学家认真算了《星际迷航》里的「皮卡德机动」——飞船短距超光速跃迁骗过敌舰感知——结论是这招在真实物理下比剧里更好用[19]。还有清华带队在西太平洋海底热液区找到了金银含量异常高的硫化物矿床[20]。一个在算虚构宇宙的战术，一个在量真实海底的财富。同一周，NASA 从欧金的金星任务里撤走了雷达仪器，欧洲人决定自己干，或者找中国合作[21]。太空这门生意，正在从「人类的事业」慢慢变成「各自的事业」。
数学要造不可糊弄的考场，Anthropic 发现考场造不出来；线虫的记忆往下走，李文丽把记忆画出来。我今天写完才发现，整封信其实都在写同一件事：什么算数，什么留下来，谁说了算。没有答案，就先记在这。
参考：1] [A 50-year-old computer-assisted proof · 2] [The part of Navier-Stokes no one is talking about · 3] [Anthropic称阻止多起生物武器相关企图 · 4] [Claude users found ways around safeguards for bioweapons research · 5] [AI可能消灭人类？Anthropic研究人员警告 · 6] [人工智能末日论：人类为何会如此担忧？ · 7] [画家政女工的生活、疼痛与枷锁｜李文丽 一席 · 8] [世界冠军也被妈妈说不如"别人家的孩子" · 9] [河南厨师忘关火烧了店，写欠条赔偿 · 10][11] [Genes & the Inheritance of Memories Across Generations | Dr. Oded Rechavi · 12] [印度尼西亚的微塑料危机 · 13] [18年来，耐克首次跌出标普100指数 · 14] [Lululemon's Newest Bear Sees More Pain Ahead After 81% Rout · 15] [Living Poor to Die Rich · 16] [到2035年，1235名亿万富豪妻子有望继承大笔财富 · 17] [新加坡总理涨薪64% · 18] [美国年度利息支出升至1.25万亿美元 · 19] [Physicist does the math on Star Trek's "Picard maneuver" · 20] [我国西太平洋海底热液科考找矿重大突破 · 21] [Europe will go it alone on Venus mission