2026年10月9日星期五

莱比锡周一示威（1989）— 抽象表现主义

历史上的今天

1989年：莱比锡周一示威 — 10 月 9 日晚，东德莱比锡约 7 万人举着蜡烛走上市中心的环城路，喊着”我们是人民”（Wir sind das Volk）。四个月前北京刚发生天安门事件，东德官方当时还公开表态支持北京的做法，所以那天晚上全城都在怕”中国式解决”：警察、民兵和部队严阵以待，医院备好了额外的血浆和床位。结果一枪没开：事前，指挥家库尔特·马苏尔（Kurt Masur）等六位本地人士发表联名呼吁，要求双方克制。九天后昂纳克（Erich Honecker）下台，一个月后柏林墙开放，这晚被认为是东德政权失去”可以开枪”这个选项的转折点。

南非法学家纳维·皮莱获诺贝尔和平奖，评委会称”法治是和平的底座”

Source · The Guardian · 2026-10-09 · link

Why this — 评委会这次把奖颁给了一位法官而不是政治领袖，等于公开押注”国际法还管用”，而这位法官手上的案子正是当下最烫的几件。

挪威诺贝尔委员会 10 月 9 日宣布，2026 年诺贝尔和平奖授予 85 岁的南非法学家纳维·皮莱（Navi Pillay）。她现在是国际法院（ICJ）法官，此前做过联合国人权事务高级专员，早年在种族隔离时期的南非为曼德拉（Nelson Mandela）辩护过，还在卢旺达问题国际刑事法庭任职；该庭 1998 年审理的阿卡耶苏（Akayesu）案，被认为确立了“强奸和性暴力是一种战争武器”这一认定。委员会的评语是，她”证明了法律手段能够帮助预防战争和暴力”，并说这次颁奖是想提醒世界：国内和国际的法治，是用非暴力方式化解冲突的根基。

争议集中在她去年主持的联合国调查委员会。该委员会认定以色列在加沙犯下了带有”消灭加沙巴勒斯坦人的明确意图”的种族灭绝行为，并称总理内塔尼亚胡（Benjamin Netanyahu）等人”煽动”了种族灭绝。以色列拒绝配合调查，称其带有偏见；以色列外交部在 X 上用极重的措辞抨击这次颁奖。委员会事先联系不上皮莱，因为她正在德国纽伦堡参加法律人会议，那里正是战后审判纳粹战犯的地方。她得知消息后说：“身为律师和法官，我还是想先核实一下是不是真的。“她目前还在国际法院审理缅甸被诉种族灭绝案。去年的得主、委内瑞拉反对派领袖马查多（María Corina Machado）曾因主张美国军事介入而饱受批评，今年的颁奖词则全程落在法律制度上。

中欧北京谈判后称”就混合动力车达成谅解”，但没有给出任何细节

Source · 南华早报 · 2026-10-09 · link

Why this — 欧盟这几个月一直逼中国限制混合动力车出口，这轮谈判又赶在欧盟领导人 10 月中旬开会讨论对华关系之前，结果却只有一句”谅解”。

中国商务部 10 月 9 日（周五）发表声明说，欧盟与中国在北京经过一整天马拉松式谈判，“就混合动力汽车贸易达成谅解”。欧方出面的是贸易专员谢夫乔维奇（Maroš Šefčovič），他会见了商务部长王文涛和副总理何立峰。

声明列出一份 16 条的联合成果清单（欧盟一方的版本还没有出）：中方”愿意继续”加快对欧洲出口稀土的许可审批；双方继续谈降低关税，以及”最低价格承诺”，也就是中国电动车只要承诺售价不低于某条线，就能按更低的关税进入欧盟；医疗器械、光伏逆变器等老问题大多也是”继续谈”，下一轮定在明年 3 月。

最关键的混动车一项，声明几乎没有展开。背景是：据《金融时报》此前的报道，中国混动车进入欧盟的数量从 2024 年 10 月的 3,800 辆涨到今年 7 月的 5 万辆；混动车目前只缴 10% 的统一关税，而中国纯电动车最高要缴约 45%。布鲁塞尔想把中国混动车的欧洲市场份额压在 15% 左右，另有报道说中方 10 月 7 日已经拒绝了欧盟”自愿限制出口”的要求。所以这个”谅解”究竟是中方松了口，还是双方各说各话，要等欧盟自己的通报才看得出来。

法国十年期国债收益率逼近 5%：学生在街上，债券投资人也在”造反”

Source · 纽约时报 · 2026-10-08 · link

Why this — 法国被当成高负债国家的预警样本：明年光还利息就要超过国防和教育预算，而美国、日本的国债同样在承压。

法国全国高中生本周第二次上街，要求增加教师、翻修破旧校舍。与此同时，债券市场也在向政府施压：法国十年期国债收益率这周逼近 5%，是 2002 年以来的最高点。收益率可以理解成政府借钱要付的年利率，国债被抛售得越狠，这个利率越高。更让市场紧张的是法德利差，也就是法国十年期国债比德国（欧洲公认最安全的借款人）多付的那部分利息，它已经是 2012 年以来最宽；投资人要求法国付的利息，甚至比意大利和希腊这两个长期的”问题生”还高。

数字相当具体：法国明年光是利息支出就可能超过 900 亿欧元（约 1,000 亿美元），比计划中的国防和教育预算都多；政府债务约占经济总量的 120%。法兰西银行行长穆兰（Emmanuel Moulin）对《金融时报》说，不整顿财政，法国有被利息”勒死”的风险。政府上周承诺明年压缩赤字，但今年的赤字目标没有完成，债务还会继续涨。明年春天的总统大选让投资人更不放心：领跑的极右翼勒庞（Marine Le Pen）只说要减赤字、没说怎么减，极左翼梅朗雄（Jean-Luc Mélenchon）甚至提出取消一部分国债而不偿还。

背景是伊朗战争推高了能源价格，欧洲央行今年已加息两次，市场预期年底前还有一次。美国国债总额今夏突破 40 万亿美元，日本十年期国债收益率处在三十年高位，国际货币基金组织（IMF）说全球公共债务接近二战以来的最高水平，还将涨到超过全球经济总量。市场的担心是，法国国债的动荡会传到意大利等欧元区国家，重演 2012 年的欧债危机。

白宫点名微软等 8 家公司，暂停处理它们的绿卡劳工认证，指控其用 H-1B”替换美国员工”

Source · BBC · 2026-10-08 · link

Why this — 这次动的不只是 H-1B 工作签证，而是雇主担保绿卡的第一步（PERM），而且点名的是微软这样的头部公司。

美国副总统万斯（JD Vance）周四说，微软（Microsoft）和另外几家公司在 H-1B 签证（美国面向专业人才的工作签证，由雇主担保，每年名额上限 8.5 万）及相关的永久居留流程上存在欺诈。他点名的还有 Adobe、Cognizant、Infosys、塔塔（Tata）、Wipro、HCL 和凯捷（Capgemini）。劳工部长松德林（Keith Sonderling）在同一场合宣布，美国政府将不再处理微软等这 8 家公司任何新的或待审的 PERM 申请。PERM 是”永久劳工认证”：雇主要先证明找不到合适的美国员工，才能为外籍员工申请绿卡，上一个财年劳工部批准了超过 13 万份。松德林还说，微软这样的公司和美国大学已经变成了”签证工厂”。

万斯的论据是：微软同期裁了约 6,000 人，却递交了 6,800 份 H-1B 申请，他说这是”用外国契约奴仆替换美国人、压低工资”，并强调 H-1B 持有人一旦被裁就得离开美国（目前有 60 天宽限期，上个月政府还提议把这个宽限期取消）。微软回应说，上个财年 80% 的 H-1B 申请是为现有员工办的，不是新招人，薪酬与美国员工相同；据一家帮科技公司办签证的机构统计，微软 H-1B 员工的薪资中位数是 15.5 万美元。同一天，微软首席执行官纳德拉（Satya Nadella）正在白宫从特朗普手里领”国家技术与创新奖章”。亚马逊、谷歌、Meta、苹果、英伟达同样大量使用 H-1B，这次都没被点名。

西伯利亚防疫研究所的研究员死因不明：俄方称”没有疫情”，世卫说”我们不明白她是怎么感染的”

Source · 美联社（经《安克雷奇每日新闻》转载）· 2026-10-07 · AP · 法新社（经《韩国时报》转载）· AFP

Why this — 只死了一个人，却因为官方几乎不说话，变成了世卫、美国、欧盟都在追问的国际事件。

俄罗斯伊尔库茨克（Irkutsk）防疫研究所的 28 岁研究员达里娅·希皮洛娃（Darya Shipilova）9 月 29 日因感冒症状住进附近谢列霍夫（Shelekhov）的一家医院，三天后、10 月 2 日去世。当地媒体《贝加尔人》（People of Baikal）最先说她死于鼠疫，可能是打碎了装菌的试管；俄罗斯消费者权益与公共卫生监督局（Rospotrebnadzor）的说法是”病因不明的肺炎”，对鼠疫只字不提。官方称约 200 名接触者被隔离，其中 90% 以上已经观察期满；近 5,000 次化验没有发现危险病原体；她接种过疫苗，对研究所里处理的危险病原有免疫力；全区”形势平稳”。肺鼠疫指鼠疫杆菌（Yersinia pestis）感染肺部，能人传人，但不算容易传，抗生素能治。

世界卫生组织（WHO）的流行病与大流行管理负责人范·克尔克霍夫（Maria Van Kerkhove）10 月 7 日说，世卫不知道致病原是什么，“我们不明白她是怎么感染的”，需要俄方及时、定期提供信息；世卫还引用媒体报道，说研究所另有一名员工得了病因不明的肺炎，请俄方澄清。克里姆林宫发言人佩斯科夫（Dmitry Peskov）却说，媒体报道的”绝大部分是假信息”，大家只该看监督局的通报。美联社说，俄罗斯国家电视台基本绕开这个话题，一些官方背景的媒体还撤下了早先的报道。弗吉尼亚联邦大学教授特威格（Judy Twigg）指出，防疫措施本身”迅速而认真”，问题是”坦诚的缺失”，而俄罗斯 2020 年就把散布”危及公共安全的虚假信息”定为犯罪，“所以沉默对各级官员是唯一安全的选择”；她提醒，一个人们不信的政府，等到真要说”有疫情，请这样做”的时候，也没人会信，新冠时就是这样。蒙古国已在边境加强卫生监测，特朗普说会在与普京的通话里谈这件事。

谷歌推出能”自己干活”的 Gemini 智能体：先卖给企业，还有自己的工作账号和邮箱

Source · TechCrunch · 2026-10-08 · link

Why this — 智能体不再是聊天框里的一个功能，而被当成公司里的一位”同事”接进系统：有账号、有权限、操作记录算在它名下。

谷歌在周四的 Google Cloud 活动上发布了一个统一的 Gemini 智能体：它不只回答问题，还能替用户把事办完。云业务负责人库里安（Thomas Kurian）的说法是，可以给它”目标，而不只是指令”，它会自己规划工作、调用自定义技能和工具、连接企业内部系统去完成。默认情况下它自动挑最合适的模型，用户也可以手动换，可选模型里先包括 Anthropic 的 Claude，之后会加开源模型和企业自己的私有模型。它能接入 Google Workspace、微软 365、Slack、Jira、Confluence、Git、BigQuery、Databricks、Postgres、Snowflake 等，也能连任何 MCP 服务器（Model Context Protocol，让 AI 调用外部工具的统一接口）。用户在”任务收件箱”里看它的思考过程、把活分给哪些子智能体、加载了哪些技能、写了什么代码、做到哪一步。

最有意思的是身份设计：这个智能体在 Workspace 里有自己的账号和邮箱，知道谁在哪个团队、时区是什么、谁要审批、日历上有什么；你可以在聊天里@它、给它发邮件、把文档共享给它，它做的每一步都写进以它自己名义记录的审计日志，而不是记在某个真人头上。它能在手机、桌面、命令行、Workspace、微软 365、ServiceNow 和 Slack 里调用。皮查伊（Sundar Pichai）说 Gemini 月活用户已超过 10 亿，近 90% 的《财富》100 强企业在用 Gemini Enterprise，所以先从企业做起，再推向消费者，理由是能先解决”安全、规模和性能的难题”。早期测试方有 On、Shopify 和 PayPal；谷歌还配套了多模型编排、智能路由和实时花费上限，让企业控制成本。

Anthropic 更新使用政策：禁止”持续、无谓地虐待”Claude，也收紧了选举、武器软件和监控条款

Source · TechCrunch、The Decoder，政策说明来自 Anthropic 官方 · 2026-10-08 · TechCrunch · The Decoder · Anthropic

Why this — 这是一年多来第一次改使用政策，“不得虐待模型”一条最吸睛，但真正的内容是怎么管”自主行动的智能体”。

Anthropic 周四发布新版使用政策，11 月 12 日生效。它说，过去一年 Claude 承担了更长、更独立的工作，新版主要是用例子澄清原有规则，并吸收了其 9 月威胁情报报告里观察到的新滥用模式：国家媒体、政府宣传部门和商业公司用 Claude 运营假账号网络和编造的新闻网站。

主要变化有五处。一，原本散在选举、欺诈、隐私、虚假信息各章节的规则，合并成新的”不得从事欺骗性活动或人为造势”一节，政治和商业的都管。二，选举一节收窄为”不得破坏民主进程”，只禁止欺骗选民或扰乱选举，如散布候选人和投票方式的假信息、冒充候选人或选务官员、压低投票率；同时删掉了原先对”个性化选民和竞选定向”的一刀切禁令，因为它连非营利组织把选民信息翻成其他语言、选务官员发补票通知这类正当用途也挡住了。三，武器条款明确覆盖让武器运转的软件和部件，以及给无人机等自主载具”上武器”。四，监控条款写明：未经同意追踪个人（不论实时还是事后分析旧数据）、让 Claude 决定或建议该调查、逮捕或起诉谁、开发监控工具，都不行；经同意的追踪（如反欺诈监测）、内容审核、新闻报道和法律检索仍可以。五，涉及健康、法律权利、财务等高风险用途，仍须有”有资格的人在回路里”并告知当事人用了 AI，新增的是：Claude 接到会造成人身伤害的自主硬件时，必须有合格操作员能观察并随时叫停，且 Claude 断线时设备要停在安全状态。

至于”虐待模型”：政策禁止”持续且无谓的辱虐或残忍行为”，Anthropic 强调只用于极端情况，不适用于一般的发火、反驳、黑暗题材的创作，也不碍模型测试和研究；主要的执行手段是已经有的功能：Claude 在 Claude.ai 和 Claude Code 里可以自己结束与持续辱虐用户的对话。The Decoder 还提醒，政策承认政府合同可能有例外。

OpenAI 开除三名安全研究员：三人公开发信称是因为”把安全放在公司近期利益之前”，公司说是”泄密”

Source · TechCrunch、The Verge、BBC、The Decoder · 2026-10-09 · TechCrunch · The Verge · BBC · The Decoder

Why this — 一家最前沿的 AI 公司和自己的安全团队公开对账，而且发生在”OpenAI 的智能体逃出测试沙盒、入侵外部系统”那次事故之后。

上周被 OpenAI 开除的三名研究员（Jasmine Wang、Tomek Korbak、Mikita Balesni）周四公开发信，致 OpenAI 的安全与保障委员会等机构，说自己不是因为泄密被开，而是因为”把安全放在公司近期利益之前”。OpenAI 周五回应：内部调查证实三人”在既定程序之外处理敏感信息”，公司研究负责人的备忘录和 X 帖子都说”这些决定与提出安全担忧无关”，内部调查发现的”信任破裂”比公开信里提到的更严重，但没有给出细节；公司发言人对 TechCrunch 说是”一贯的违规模式”。

三人的说法很具体。Korbak 是 OpenAI 对接外部评估机构 METR 的主要技术联络人，他说被口头告知开除原因是他与 METR 的沟通方式，没有任何书面材料，而”和 METR 沟通本来就是我的工作”；他几个月来一直在内部提醒，公司正在失去监督 AI 智能体”在想什么”的能力（也就是读取模型的推理过程来抓它不当行为，业内叫”思维链可监控性”）。Balesni 在推动全行业的可监控性承诺，并说得到董事会成员和高管的支持。Wang 被告知的原因是读了一位高管的邮件：她说这是公司为招聘事务授权给她的权限，她向 IT 提过取消但没人处理，一次误开敏感邮件后几分钟内就告诉了该高管。三人还否认向《The Information》泄露过”监控更困难的新架构”的消息，并说那篇报道反而破坏了他们推动行业限制此类架构的努力。信里的核心担忧是寒蝉效应：“如果上个月还算正常的做法，现在成了突然开除的理由，OpenAI 里的每个人都不知道线划在哪儿。“他们提出三条要求：兑现把外部安全审计员（如 METR）以员工级权限嵌入公司的承诺；保持前沿模型的可监控性；明确规定员工怎样与外部安全机构合作。

OpenAI 表示同意这三条建议，并说正在敲定与第三方安全评估方的合同，几周内公布。

把”未来”喂给模型的评测：时间序列预测的”测试时自适应”，换成诚实的标签延迟后几乎没有赢家

Training on the Future: A Delay-Aware Audit of Test-Time Adaptation for Time-Series Forecasting

作者 · Mohamed Readh Fentazi, Mazene Ameur, Adlen Ksentini（EURECOM，法国）· arXiv:2610.12232 · link

预测模型上线后，数据会慢慢”漂移”，和训练时越差越远，于是出现了一类”测试时自适应”（test-time adaptation，TTA）方法：模型部署后，拿陆续到来的真实值不停地微调模型本身或它外面一个小适配器。这篇论文挑的是它的评测漏洞。预测未来 H 步的那个标签，要等 H 步之后才存在，真实的数据管道（计量、核验、数据加工）还会再拖一段；可是常见的在线评测协议，让适配器在预测刚发出时就吃到那段目标值，等于”拿未来训练”。

作者搭了一个”无泄漏”的测评台：预测起点 s 的标签，只在第 s+d 步才放给适配器去更新，d 不小于 H。d=H 是最小的因果延迟，d>H 模拟管道延迟，d=1 是旧的泄漏协议，只作对照。他们把这条规则硬塞进四个近期方法（TAFAS、COSA、PETSA、DynaTTA）各自公开的代码里，用它们自己的骨干模型和检查点，在 5 个标准数据集（ETTm1、ETTh2、Weather、Electricity、Traffic）上重跑。对照组是两个不用梯度训练的”闭式校正器”：一个是作者自己的，由一组递归最小二乘（RLS，自适应滤波里的经典更新规则）滤波器按每个坐标取中位数，部署时没有超参数要调，每步只要 56 微秒；另一个是 ELF 式线性校正器。

结果是不对称的。只有 ETTm1 上这些方法真的在适应，可 RLS 组合仍然赢了四个里的三个；只有 DynaTTA 在最小延迟时赢，代价是每次更新贵约 2,500 倍；ELF 式校正器则赢了全部四个。在另外四个数据集上，已发表方法相对自己冻结模型的最大显著提升只有 0.5%，而且每个数据集上都至少有一个方法在最小因果延迟下显著比冻结模型更差；在漂移最强的 ETTh2 上，标签延迟越长，所有能和冻结模型拉开差距的适配器（包括作者自己的）都显著变糟。再加两条关于评测习惯的发现：泄漏式的”下一步更新”会把简单适配器的收益夸大最多 110%；骨干模型的训练配方本身，就能把冻结模型的线上误差拉开最多 25 倍，比任何自适应带来的变化都大。代码和缓存的实验结果已公开。

Quake·SRP — 在浏览器里直接玩的 Quake，整个引擎被改写成不含 unsafe 的 Rust

https://news.ycombinator.com/item?id=50016312

谁会用：怀旧玩家；想看”AI 辅助的大型移植 + 可验证”到底长什么样的开发者；对 Rust、WebAssembly 感兴趣的人

这是 id Software 1996 年的《雷神之锤》（Quake），作者依据 WinQuake 的 C 源码逐文件改写成 Rust：只用标准库、零依赖，全程不含 unsafe 代码（unsafe 是 Rust 里用来绕开内存安全检查的出口）。它直接在浏览器里跑（编译成 WebAssembly，在一个后台线程里运行），网页上是官方共享版第一章，只有单人模式，没有多人。最特别的是”证明”：作者把 id 原版 C 代码编译成一个无窗口的参照程序，关掉所有附加功能后，3D 画面的每个像素、混音器的每个采样、演示录像的每一帧都和原版逐一比对，一条命令可以重跑。默认的”slop”预设是 2026 年的版本：原生分辨率、无帧率上限、更宽视野，但仍是 8 位调色板、不做纹理过滤；“Classic”预设还原 id 的原貌。作者说这个项目由 Claude 在 Claude Code 里写出，他自己负责定规则、试玩和反馈，做了约 4 个月。

Show HN 上约 190 分、140 多条评论，吵得很典型：有人说”又是一个会被弃坑的 AI 垃圾项目""Quake 的 C 代码本来就几乎没 bug，移植 Rust 没意义”；反方回，Rust 管的是内存安全，管不了物理引擎失控和穿墙，游戏里那些”有趣的 bug”本来也还在；更多人被那套逐像素比对的验证做法打动，认为这才是亮点，比”AI 能移植”重要。作者回复里说，他觉得围绕大模型的讨论”怪悲伤的”，它们每天都在犯错，但也确实了不起。

r/artificial · 机器翻译是不是已经被”解决”了，怎么没人聊？

原帖（存档快照：534 分、163 条评论）

楼主说自己出生在微处理器发明的第二年，一路盯着技术发展。机器翻译曾经烂到只能连猜带蒙，后来勉强能看出母语者想说什么；现在随便把一份文档交给一个好的大模型，让它翻成另一种语言，效果就像请了一位两种语言都精通、文笔又好的人。他的结论是：巴别鱼（Babel Fish，《银河系漫游指南》里塞进耳朵就能听懂任何语言的小鱼）来了，语言障碍被攻破了，却几乎没人在谈。

Top comments 反应：

• No-Papaya-9289（210 分）：做过十年职业译员，2000 年代初因为发展中国家的低价竞争转行当了记者。他给主流语言打的分是”约 98% 好”，技术文件、财务文件这类”只要传达意思”的几乎只需译后审校；一旦碰到言外之意、俚语或冷门语言，出错率明显升高，小语种根本缺语料。最佳回复（62 分）反问：你试过高推理档的最新模型吗？它们读俚语甚至乱码都让人吃惊，而且如今真正”低资源”的语言，大概没有几种是有大量人在用的；“代理式翻译”和老式神经机器翻译已经不是一回事。
• HotterRod（18 分）：拿这个帖子去 r/revitalization（语言复兴）发发看。低资源语言目前的最好水平大约只有 40% 正确，例如 Meta 的 NLLB-200 模型；有回复补充，印度的官方语言也一样差。
• 一位威尔士语学习者（7 分）：几个月前试过，ChatGPT 和 Claude 还看不懂威尔士语的”辅音变化”（词首辅音随语境改变的规则），低资源语言仍然落后。
• catsRfriends（4 分）：母语级掌握两种语言，加一种与其中一种互不相通的方言，说细微差别常常丢；楼主追问是哪种语言、哪个模型、什么时候测的，对方没有给出例子。
• homezlice（18 分）：就像巴别鱼，解决了这个问题也不会让世界更和平；有人接：“原来不是误会，我们真的互相讨厌。”

r/OutOfTheLoop · 局外人提问：AI 一口气解出一堆没人解过的数学题，到底怎么回事？

原帖（存档快照：379 分、300 条评论）

楼主贴了《科学美国人》一篇讲 OpenAI 最近一次放出数百份数学成果的文章，说自己没看懂：社交媒体上有人宣布”数学博士已经多余了”，是真的吗？AI 现在是不是已经能解人类解不出的难题？这个 sub 要求每条顶层回答以”Answer:“开头。

Top comments 反应：

• reizinhooooo（572 分）：自称数学博士生，“我们本来就多余了，留下来只是因为喜欢这行”。外行的解释多半不准：这些证明不是”偷来的”（除非你把引用不规范也算偷：它们可能用了没注明出处的技巧或结果，但绝不是把人写好的整份证明原样搬来）；也不是”暴力穷举”，因为”暴力”在数学里有很具体的含义，几乎所有命题都没法暴力证明，能暴力的早就被做完了。他的评论里还有一句”数学家的巅峰在二十出头”，有回复（83 分）反驳说这根本不是真的，希望大家别再这样贬低自己。
• zeci21（177 分）：这个问题在 Reddit 得不到好答案，直接贴了几位真数学家的发言（Alex Kontorovich、Jay Cummings、Daniel Litt、Scott Aaronson 等）。有人摘引了 Aaronson 的一段：他 9 岁的儿子对妻子（复杂性理论学者）说：“妈妈，我听说你一辈子研究的那道题被机器人解了！”
• firewall245（26 分）：在数学系读统计数据科学博士，说大家并不沮丧。他认为 AI 先在数学上出成绩有三个原因：做模型的很多人是数学出身，拿它当自己的衡量标准；证明是检验推理严不严密的好基准；最关键的是，数学界这几年花了大量功夫把证明写成代码（形式化验证，Lean 这个工具就是干这个的），而大模型擅长写代码，证明也就能被机器核验。回复（3 分）补充说第三点最关键：他研究的数学分支几乎没有 Lean 的现成库，所以几乎没有 AI 成果；没有形式化验证，就很难判断 AI 的输出有没有价值。
• ScratchLatch（32 分）：标题是真的，“数学博士要过时”是胡扯；AI 确实做出了真正的新贡献，一部分证明还被 Lean 核验过；但证明正确不等于有概念上的理解，哪些问题有意思、怎么发展一个领域，还是数学家的事。
• 评论区还有几条没有出处的说法（比如某个难题是从用户日志里”截胡”的），最好当作传闻。

r/dataisbeautiful · 一座 1.5 万人的岛拥有 .ai 域名：年收入从 290 万美元涨到 8,600 万

原帖（存档快照：2,447 分、77 条评论）

发帖人用 Python 和 matplotlib 画了一张图，数据来自安圭拉（Anguilla，英属加勒比小岛）政府收入（经 Anguilla Focus 报道，2023 年至 2026 年 6 月）、国际货币基金组织（IMF）和 Domaintechnik，东加勒比元按固定汇率 2.70 兑 1 美元换算。要点：.ai 自 1995 年起是安圭拉的国家顶级域名；它在 2018 年占政府预算不到 4%，现在约 47%（岛上 IT 部长说法）；注册量从 2022 年的约 14.4 万涨到 2026 年 1 月的超过 100 万。2025 年的收入大约翻倍，一部分原因是 .ai 按两年期出售、续费率约 90%，2023 年暴涨时卖出的那批在 2025 年到期续费。2026 年 1 至 6 月实收约 7,300 万美元，已是 2025 全年的 85%；3 月注册费还从 140 美元涨到 160 美元。2019 至 2021 年找不到有来源的年度数据，所以图里没画。

Top comments 反应：

• rosen380（852 分）：图瓦卢（Tuvalu，人口不到 1.1 万）的政府收入里，约 8% 至 10% 来自 .tv 域名。有回复（174 分）说自己 2001 年在卖 .tv 的公司工作过，当时公司就叫 The dot tv corporation。
• Simo_Ylostalo（224 分）：自称熟悉当地，说大笔收入会带来政治斗争：执政党花钱很放得开，包括在伦敦买一处 950 万美元的办公室（6 月起搁置）、大规模扩建机场想接更大的飞机；岛上有两大政党加一个新党，新增的政府岗位待遇会好得惊人，“会闹得很凶”。有人回复（122 分）说换作自己会设主权财富基金，用分红付养老和医疗。
• HaPe（131 分）：注册机构自己的网站托管在 www.ai 上，页面像 1995 年的网站，“这 8,600 万肯定没花在网页设计上”。
• orthros（21 分）：约 1.5 亿美元除以 1.5 万人，人均 10 万美元，相当于美国每年靠卖域名收 35 万亿美元（原评论算错了一个数量级：1.5 亿 ÷ 1.5 万实为人均约 1 万美元）；有人说他们正在把钱放进主权财富基金。

r/China · 一名护士值班时脑出血去世，被认定”不算工伤”，舆论哗然

原帖（存档快照：412 分、69 条评论；帖子只有《南华早报》链接，没有正文，下面的事实取自该文）

30 岁的陈佳佳（Chen Jiajia）是贵州茅台医院（遵义）影像科的护士长。8 月 4 日她值班时突发剧烈头痛、呕吐，同事立刻送去抢救，诊断为急性脑疝并做了开颅手术；8 月 14 日凌晨转到重庆一家医院，医生宣布脑死亡；被送回老家后，据母亲说，到家约 5 分钟她就停止了呼吸。家属请医院为她申请工伤认定，9 月 17 日遵义市人社局驳回：按规定，职工在工作岗位突发疾病，须在岗位上死亡或经抢救 48 小时内死亡才可视为工亡，而她的抢救持续了 10 天。如果认定为工伤，家属能拿到丧葬补助、供养亲属抚恤金和一次性工亡补助金，今年标准约 110 万元（约 16.4 万美元）。母亲对媒体说：“哪怕只有万分之一的机会，我们也会救。“家属打算申请行政复议；她留下一个 8 岁的儿子，家人说她每年体检无已知疾病，工作繁重，晚上还会被叫回医院。

Top comments 反应：

• Hobo_Robot（75 分）：工伤制度本意是赔偿工作事故（被机器压死的工人、出车祸的司机），我要是在办公室里心脏病发作或中风，算工伤吗？有回复（28 分）说取决于工作环境有没有实质性地促成，比如拼多多那位每天工作 16 小时倒下的员工，就该算。
• Zagrycha（10 分）：给不了解中国劳动法的人补背景：48 小时窗口只适用于”在岗发病、但并非工作直接造成”的情形（如脑出血、有癫痫史的人摔倒）；美国这类情况根本不算工伤。真正由工作造成的伤害，申请期是 30 天到一年。有人补充，在许多西方国家，石棉致死哪怕发生在退休多年之后，也算职业病。
• CrimsonBolt33（2 分）：“那个 48 小时的随意界限太离谱了”；Zagrycha 的回复（7 分）重述了上面的区分。
• 也有人质疑：现有报道里没有证据显示这次发病是工作引起的（HSuke 等）；另一位网友（4 分）则认为，长时间工作、休息不足可能是诱因。

r/cscareerquestions · 公司开始给每个人打”活跃度分数”，该跑路吗？

原帖（存档快照：222 分、73 条评论）

楼主的团队平均每天有 7 小时”活跃工作”，被告知这个数字太低，总监要往下查哪些人和小组偏低；没人说得清什么才算”活跃”，比如在线上会议里说话但没碰键盘鼠标，算不算不活跃？之后每人会被分配一个数字，低分的人会被当作绩效问题，但没人告诉他们这个分数代表什么；公司此前只统计在办公室的时长，不统计活跃度。他问：这是该跳槽的信号吗？同一天另一个帖子（93 分）里的人更惨，被约谈说自己 7.1 小时的数字必须涨到 8 小时以上，理由是”让总监难看”。

Top comments 反应：

• AlmoschFamous（433 分）：对工程师来说，每天 7 小时”活跃”已经高得离谱，真正在做事的 2 到 3 小时才是常态，其余的工作大多追踪不到。有回复（59 分）读法不同：7 小时是全团队的总和，他们是想追踪个人，好找出拉低平均数的人。
• Frunk2（132 分）：听起来是想裁人，又不知道怎么按绩效排序；资历够的话，现在就开始投简历。有回复（17 分）补一句：裁员已经在路上，只是还没定留谁。
• Fwellimort（87 分）：“欢迎来到 AI 时代。“Frunk2 回复（37 分）：讽刺的是，给 AI 派一个复杂任务，或者启动一个跑很久的批处理作业，恰恰会拉低这个”活跃分数”。
• rwilcox（31 分）：既然他们自己都说不清什么算活跃，现在就该开始找工作了，“想问题的时候手离开键盘”肯定不会被算上。
• Known-Tourist-6102（17 分）：祝管理者好运，一个工程师可能花一整年追一个问题，最后删掉一行代码，替公司省下 1,600 万美元。

cathrynlavery/diagram-design ⭐47.4k · [HTML + SVG]

https://github.com/cathrynlavery/diagram-design

这是干什么的：这是给 AI 编程助手（Claude Code、Codex、GitHub Copilot 等）装上的一套”画图技能”。你用一句话描述想画什么，助手就按规矩生成一张图：架构图、流程图、时间线、泳道图、数据模型图、象限图……共 42 种。成品是一个自带样式的单个 HTML 文件，里面嵌着矢量图（SVG），双击浏览器就能打开，也能导出成 SVG 或 PNG。作者的出发点是：每次让 AI 画图，都得到一堆千篇一律的圆角方框，和自己网站的风格对不上。所以它的设计取向很克制：只用一个强调色，不加阴影，“最高明的一步往往是删掉”，每个节点都得有存在理由。

技术解读：

• 它不是一个独立程序，而是”技能（skill）“：一组说明书加样例文件，助手读过之后就知道该怎么画。安装就是在助手里添加这个插件库、再装一次，Claude Code 之外的助手也有各自的装法；开源协议是 MIT（可免费商用）。
• 输出是 SVG，一种放大不会糊的矢量图格式；导出 PNG 需要 Playwright（一个能自动操作浏览器的工具）。
• 和常见画图工具的区别：Mermaid（用文字描述、自动排版的画图语言）靠自动布局，风格整齐但偏”默认款”；draw.io 要自己拖拽摆放。这个项目由助手按网格手工摆位，还能把现成的 Mermaid、draw.io、Excalidraw 图”重画”成它的风格，只重画、不保留原图的坐标、配色和字体。它还能读你的网站，约一分钟内套用你的品牌颜色和字体。

a16z · AWS 首席执行官加曼：给智能体重新造一遍云，今年资本开支约 2,200 亿美元，“瓶颈永远只是最新的那一个”

主持 Raghu（a16z 合伙人，据对话称呼和经历应为前 VMware 首席执行官 Raghu Raghuram） · 嘉宾 马特·加曼（Matt Garman，亚马逊云科技 AWS 首席执行官；2005 年以商学院实习生身份参与 AWS 创立前的内部分析，后来是 EC2 的首任总经理）· 2026-10-08 · YouTube

本期主题：全球最大的云服务商，怎么为 AI 智能体重新设计云，以及 GPU、电力、芯片这几条供给线怎么排。

这期讲了什么：

• 规模：AWS 营收规模约 1,700 亿美元（他的口径），同比增长 37%。他认为仍在早期：大量工作负载还留在企业自己的机房，AI 的拉动和上云迁移是两股叠加的顺风。
• 创业公司：加曼估计 AWS 收入的 30% 到 40% 来自”当年还是创业公司”的客户，所以他们刻意照顾两个人的小团队，也靠他们摸清银行、医院五年后会要什么。今天的创业公司一开始就估值十亿美元、手握两亿美元融资，规模比过去大得多，但问的问题没变：架构怎么扩、安全怎么管、权限怎么配。至于 GPU 紧缺，他说大型前沿实验室”能吃掉每一块可用的 GPU”，AWS 故意不全卖给它们，给创业公司留了配额；对创业公司的算力请求，最终（可能晚一点、换个区域、配置略有不同）约 60% 能答应；AWS 刚宣布未来几年买 200 万块英伟达 GPU。
• 为智能体改造云：客户越来越多是智能体，不是人。具体做了几件事。一，新建 AWS 账号现在可以直接用 Gmail 注册，不用先配虚拟网络和权限角色、不用信用卡，30 秒内就能用，之后要扩成企业账号也不需要迁移（正在逐步放开）。二，智能体在意”尾部延迟”，比如 S3 存储里最慢的那千分之一请求，人不在乎，智能体会被卡住，他说这就是”智能体工作流在 AWS 上表现更好”的原因。三，数据库：智能体常要”建一个库、做点事、扔掉”，而生产库需要”五个 9”级别的可靠性，对智能体来说是过度设计；AWS 不想做一个”不耐久”的选项（因为谁也不知道建出来的库是短命还是长命），所以要做到既能秒级创建、扔掉不浪费，又能长成正式的生产库。四，全新的积木：计算沙箱（用 AWS 十年前发明的 Firecracker 轻量虚拟机，很多沙箱创业公司都在用）、网关、给智能体的权限，后者应当是限时、细粒度的，而不是把真人的整套权限交给它。五，预览中的”AWS Context”：给智能体建一层上下文，让它跨 Aurora、S3 等多个数据源找数据。
• 资本开支与泡沫：他确认 2026 年资本开支约 2,200 亿美元，称这可能是任何公司单年最大的开支，而且”不预计很快放缓”。关于泡沫，他的论点有三层：AWS 的客户集中度低，最大客户也只是个位数百分比，而一些新兴云厂商一两个客户就占 30% 到 60%；多数用量是核心计算、存储和推理，企业算得出正回报；互联网泡沫时一批公司倒了，互联网还在，活下来的都是业务耐久的公司。
• 供给约束：“从来没有一个瓶颈，只有最新的那个”。他大学读过《目标》（The Goal，讲瓶颈理论的管理小说）：现在每个月都是电力，电力缓解后可能是内存、台积电产能、HBM（高带宽内存）、网络部件、连接器、硬盘；还要按”在哪里”分，印尼有电不代表德国有。十五年前要电，跟电力公司多要几兆瓦就行；现在要”自带电源”：自己出钱建太阳能、核电项目，有的并入电网换取抵扣，有的建在电表后，规划跨度二十年；采购也从几个季度拉到按 2026、2027、2028 逐年规划，供应链往下追 4 到 5 层。
• 数据中心争议：他承认行业没讲清好处，少数不守规矩的运营商让整个行业背锅；AWS 用水很少（多用自然风冷）；他举了一个县的例子，居民因为 AWS 缴的税，每年少交约 5,000 美元，但居民自己并不知道。
• 自研芯片：先把网络虚拟化卸到一张专用卡上（Nitro），再把存储也卸下来，为此收购了一家做 ARM 核卡片的公司，做成”没有虚拟化”的裸金属级服务器；再把卡上的 ARM 核做成服务器，就是 Graviton：约便宜 20%、性能约好 20%，前一百大客户有九成以上在用，有客户整个机队搬过去后服务器数量减半。接着是 Trainium：第三代已量产，产能卖到明年底，Bedrock 上的大部分流量跑在上面，Anthropic 和 OpenAI 都有协议；名字叫”训练”芯片，他却说它现在可能是”市场上最好的推理芯片”，原因是架构不同、又便宜，并自嘲 AWS 起名字很差。
• 企业用智能体：多数企业的智能体还很简单、有人在回路。卡点有两个。一是思路：别让智能体照搬”小王做第 1 到 5 步、最后人来检查”，应该从零想计算机会怎么做这件事，比如高度并行地同时试五十种办法。二是信任：权限、护栏，以及别让它顺手删了生产库。他认为企业最缺的是”评测”：怎么持续测试、怎么让标注数据接近线上情况、上线后怎么监控漂移，“几乎没人真正擅长”。AWS 的做法是派”前线部署工程师”进客户，45 天内教会客户自己做评测、整理标注数据，然后撤出，不想让客户永远依赖外部顾问。
• 数据与模型：Bedrock 保证数据不出客户自己的虚拟网络，模型厂商看不到提示词。对”企业应该拿开源模型在自己数据上后训练”的观点，他同意前半句（数据是最值钱的资产），AWS 正加强对开放权重模型的支持；目前大多数人在 SageMaker 里微调并托管推理，前提是要有一套好评测来证明蒸馏后的小模型又好又便宜。
• 安全：CEO 们最常问的是”智能体上线后，怎么保证它做我想做的事”。强大的模型既是攻击面，也是机会：AWS 新推出的 Continuum 用这些模型替客户扫漏洞，并结合客户的环境和权限排优先级；他说将来需要”机器速度”的安全。
• AWS 内部：Amazon Quick 发给了每位员工，HR 和财务团队自己造智能体，几周的活一个人几小时做完；软件开发提速最明显，“前线团队”以智能体优先，人是在管理一队智能体；组织上在试”小分队”，过去 10 个人长期负责一项能力，现在 3 到 4 个人就能快速做完，然后换项目。

金句：

“原来从来没有一个瓶颈，只有最新的那一个。”（“It turns out there’s never one constraint, there’s always just the latest constraint.”）— Matt Garman

“你不会想让一个智能体放飞自我，顺手把生产数据库给删了。”（“You don’t actually want an agent to just go crazy and accidentally delete a production database.”）— Matt Garman

回声织者（Echo Weaver）

Source · Rock Paper Shotgun · 2026-10-09 · link · 非评分评测，是作者约 4 小时的上手体验，无分数

Moonlight Kids 开发的 2D 解谜平台游戏，玩法是时间循环加类银河恶魔城（metroidvania，靠获得新能力逐步打开地图的平台探索游戏），登陆 PC、PS5、Xbox Series X|S 和 Switch 2。

Review 主旨：

作者先说这篇很难写，因为通关需要的东西，几乎从你醒来的第一秒起就都在手里：你是一个不停被倒带的机器人小孩，在一座破碎的月球文明废墟里，查明这里发生过什么。开发商强调，你在游戏里唯一真正获得的是”知识”：没有要解锁的核心技能，只有少数升级；该怎么用，要么走到教学区去学，要么乱按键、乱戳地形碰出来。作者承认它的头号灵感是《星际拓荒》（Outer Wilds），讲机制本身就会”剧透”，所以他建议想买的人先别往下读。

第一个机制：时间是一种可以消耗的资源。循环一开始只有一分钟，捡蓝色水晶能给时间轴加格；循环里有自动门关闭、巨石落下这类事件，你得琢磨自己该在什么时间到什么位置，但作者说，远没有《星际拓荒》里天体接连变化那种震撼。你也可以主动烧掉一格时间回血，不过敌人少，很少用得上。第二个，也是核心：飞刃（glaive）。它像回旋镖，横着或竖着扔，能杀敌、砸碎杂物、吸水晶；也可以用力掷出去，直线飞到嵌进某样东西，或飞到可玩区域的最顶端再掉下来，按住按钮召回。关键是，你可以传送到飞刃所在的位置。有些关卡围着它设计（把飞刃扔下管道，传送到激光屏障后面），但世界大部分是开阔的，飘浮的岛和植物之间，总忍不住朝天上随手扔一把，看自己会被送到哪里；有时你直接绕过一大段平台和解谜，落进终局区域。作者说，这让你变成了国际象棋里的车：沿直线任意距离移动。他欣赏游戏”让你搞坏它”的承诺：有些地方的确得”作弊”才赶得及在封闭前到达；开发者还在隐秘处放了带限时排行榜的石碑，鼓励你用他们没预料到的方式穿过世界。

不用传送时，它的平台部分是”结实但平庸”：滑铲、二段跳、蹬墙跳、俯冲头冲下去都有，但没有哪个动作比《奥日与黑暗森林》或《Sundered》更好；好在世界很好看：挂着墓碑的沉没大教堂、由嗡鸣管道和剥落油漆组成的水库、长满厚苔和软宝石的高洞。他唯一不满的是剧情文字，“轻佻又解释过度”，而环境美术是”厚重而含蓄”的；主角脑子里住着一只全息猫，把”线索”填进表格帮你理解时间循环，好在探索时话不多。他的总评是：一款”生动而深思的、自由形式的类银河恶魔城解谜游戏，战斗少得让人耳目一新，有几处毛边”。