侧目 · 阴

2026年5月13日星期三

阴 · 2026-05-13(周三)

教皇若望保罗二世圣彼得广场遇刺未遂

教皇若望保罗二世圣彼得广场遇刺未遂(1981)— 立体主义

历史上的今天

1981:教皇若望保罗二世(John Paul II)在罗马圣彼得广场被土耳其极端分子梅赫迈特·阿里·阿贾(Mehmet Ali Ağca)开枪射中腹部,重伤但幸存 — 这一天恰好是 1917 年葡萄牙法蒂玛(Fátima)圣母显灵的同一日;教皇后来把保命归功于圣母,并亲自到狱中宽恕了刺客,把那颗取出的子弹镶进了法蒂玛圣母像的王冠里。


时事

普京亲口宣布”萨尔马特”洲际导弹试射成功,年底前进入战斗值班

Source · Washington Post / NPR · 2026-05-12 · link

Why this — 俄罗斯核现代化的标志性节点;西方代号”撒旦二号”的核武器即将进入战斗序列。

俄罗斯战略火箭军 5 月 12 日上午 11:15(莫斯科时间)在普列谢茨克(Plesetsk)发射场对”萨尔马特”(Sarmat)洲际弹道导弹进行试射,这是该型号在 2024 年发生地下井爆炸事故后第一次公开宣布成功的测试。火箭军司令谢尔盖·卡拉卡耶夫(Sergei Karakayev)当天进克里姆林宫向普京汇报,普京随即对外宣称:“这是世界上最强大的导弹,弹头当量比任何西方对应型号大 4 倍以上。”

按计划,配备萨尔马特的第一个导弹团将于今年年底前在西伯利亚克拉斯诺亚尔斯克边疆区的乌茹尔(Uzhur)基地形成战斗值班能力,最终替换约 40 枚苏联时代的”撒旦”R-36M(北约代号 SS-18)。萨尔马特项目从 2011 年开始研发,过去十几年里只有一次明确成功的飞行测试,2024 年那次”流产”试射几乎把地下发射井整个炸毁,被西方分析师视为俄军核工业的标志性窘境 — 这次成功一定程度上挽回了项目可信度。


欧盟一致通过制裁哈马斯领导人 + 以色列定居者,匈牙利换届后第一道大动作

Source · NPR / Al Jazeera · 2026-05-12 · link

Why this — 欧盟外交”一致通过”门槛卡了两年的事一夜过关,背景是匈牙利政治更迭。

欧盟 27 国外长 5 月 11 日在布鲁塞尔达成政治协议,将同时制裁哈马斯(Hamas)高层和约旦河西岸(West Bank)极端定居者运动的核心组织和个人 — 这是欧盟两年多来在加沙问题上能拿出的最强硬的统一动作。媒体披露的初步名单包括定居者组织 Amana、Nachala、Hashomer Yosh、Regavim 及其几位领导人 Daniella Weiss、Meir Deutsch、Avichai Suissa;具体名单还要委员会进一步敲定。

这次能”一致通过”的关键变量是匈牙利:今年 4 月匈牙利大选中,前总理欧尔班(Viktor Orbán)输给了反对派蒂萨党(Tisza Party)的彼得·马扎尔(Péter Magyar)— 欧尔班过去多次单独投反对票否决类似动议,新政府上来就让欧盟”全票”重新成为可能。不过欧盟这次也只走到”制裁个人和组织”为止,并没有触动以色列政府本身的更强经济措施。以色列外长萨尔(Gideon Saar)当晚社交媒体回应称制裁”任意、政治化”。


邮轮”汉透斯号”汉坦病毒疫情:7 例确诊 3 死,美方紧急运 17 人到内布拉斯加隔离

Source · CNN / WHO / 欧洲疾控中心 ECDC · 2026-05-12 · link

Why this — Andes 型汉坦病毒(Andes hantavirus)的一次罕见跨境人传人事件 + 全球公共卫生协调的实测。

荷兰籍邮轮 MV Hondius 4 月 1 日从阿根廷乌斯怀亚(Ushuaia)出港,4 月 11 日船上一名荷兰乘客死亡,欧洲疾控中心(ECDC)5 月 2 日才被通报”船上有一组严重呼吸道感染聚集病例”。5 月 10 日邮轮抵达西班牙特内里费(Tenerife)格拉纳迪利亚港,世卫组织(WHO)总干事谭德塞(Tedros Adhanom Ghebreyesus)亲自到现场督导疏散。

5 月 11 日 WHO 确认 7 例 Andes 型汉坦病毒感染,加上 2 例疑似共 9 例,自 4 月 11 日以来已有 3 人死亡。这一型病毒主要在南美洲流行,正常情况下靠野生啮齿动物粪便传播,但 Andes 型是已知少数能”人传人”的汉坦病毒亚型,被认为这次在船上发生了人传人。涉事乘客和船员来自 23 个国家(含 9 个欧盟成员),其中 17 名美国乘客 + 1 名居住在美国的英国公民 5 月 11 日凌晨已被运抵奥马哈(Omaha),在内布拉斯加大学医学中心国家隔离单位接受评估。另有一名感染的法国女性因肺部衰竭被装上人工肺重症监护。


FDA 否决两项 COVID + 带状疱疹疫苗安全研究发表,作者称其为”审查”

Source · Washington Post / NYT · 2026-05-05(连续报道延续至 5/12)· link

Why this — 美国食品药品监督管理局(FDA)罕见地阻止自家科学家把已经被期刊接收的研究公开。

FDA 内部科学家与外部数据公司合作、动用百万级患者电子病历做的两项 COVID-19 疫苗安全研究,去年 10 月被高层”撤回” — 其中两篇本已被医学期刊接收,其中一篇在今年 1 月以预印本(preprint)形式发表过。今年 2 月,FDA 高层也没有签字放行让一系列关于带状疱疹疫苗 Shingrix 的研究摘要送往一个大型药物安全会议。两批研究的共同结论都是:相关疫苗的严重副作用极其罕见。

卫生与公众服务部(HHS,FDA 上级单位)发言人 Andrew Nixon 给出的官方理由是”作者从底层数据里得出了过于宽泛的结论”,但拒绝披露具体哪些结论”过于宽泛”。哈佛大学医学院专门研究 FDA 监管的 Aaron Kesselheim 把这次操作直接定性为”审查”。这件事的政治背景是:自卫生部长小肯尼迪(Robert F. Kennedy Jr.)上任以来,HHS 内部对疫苗议题的口径已经明显往”重新评估安全性”方向倾斜,这两批研究在他看来是”问题的另一面”。


印巴 2025 年冲突一周年:巴方陆军参谋长警告印度,喀什米尔再现无人机警报

Source · The Researchers / ISSI / Al Jazeera · 2026-05-12 · link

Why this — 南亚核武对峙国 1 年内还在拉警报,是 Eric DS 视角外但全球宏观必看的稳定性指标。

去年 5 月印度对巴控喀什米尔进行了代号”Sindoor 行动”的空袭与导弹打击,两国走到自 1999 年卡吉尔战争以来最近一次”擦枪走火”边缘。5 月 12 日上午,巴军参谋长、陆军元帅 Asim Munir 在拉瓦尔品第(Rawalpindi)总参谋部周年仪式上警告印度:“未来任何军事冒险都会招致极其严重和痛苦的后果”,并指责印度去年试图”侵犯巴基斯坦主权”。同一天巴国民议会举办了官方”胜利纪念”集会。

印度方面,部分媒体报道当晚在印控查谟(Jammu)地区萨姆巴(Samba)县检测到”疑似巴方无人机”,安姆利泽(Amritsar)等几个边境城镇短暂实施了灯火管制;但印度陆军在午夜后澄清”近期未探测到无人机活动,停火状态依然有效”。印巴两国对这段历史的叙事完全相反 — 巴方称”我们让印度尝到痛苦”,印度则誓言”清剿恐怖主义生态”,去年的零事件至今没有共同的事实基线,是南亚长期不稳定的结构性原因之一。


智界

Anthropic 据传 3 亿美元收购 Stainless — 拿掉 OpenAI / Google 共用的 SDK 供应商

Source · The Information / X (Stephanie Palazzolo) · 2026-05-12 · link

Why this — 表面是开发者工具收购,实际是切对手补给线。

Anthropic 据 The Information 报道已经进入收购开发者工具公司 Stainless 的高级谈判阶段,价格至少 3 亿美元 — 相比 Stainless 2024 年 12 月最近一轮 1.5 亿美元估值翻倍。Stainless 是一家纽约的 4 岁创业公司,做的产品是”用 AI 自动把复杂 API 转成 SDK”(软件开发工具包,让外部开发者快速接入服务)— Anthropic、OpenAI、Google 三家前沿模型公司都是 Stainless 客户,Cloudflare、Cerebras 等也在用。

最值得读的不是”AI 大厂又收一家工具公司”,而是这单要是成了,Anthropic 等于把竞争对手依赖的关键 SDK 工具链供应商收入自家麾下。报道没说 Anthropic 收完之后会不会继续给 OpenAI / Google 提供 Stainless 服务,但即便延续合同,对手的产品路线图也得开始计入”被 Anthropic 看着”的风险。交易未最终敲定,部分对价可能以 Anthropic 股票支付。


OpenAI 发布 Daybreak 反制 Anthropic 的 Project Glasswing — AI 漏洞挖掘正在变成军备竞赛

Source · Engadget / Gizmodo / Computerworld · 2026-05-12 · link

Why this — 上周 Anthropic 的 Mythos 模型在 Mozilla Firefox 上挖出 271 个漏洞,OpenAI 一周内反手回敬。

OpenAI 5 月 12 日正式发布 Daybreak — 一个由 GPT-5.5-Cyber 和 Codex Security 驱动的网络安全平台,直接对标 Anthropic 上周公布的 Project Glasswing(驱动模型为 Claude Mythos Preview)。Daybreak 的卖点是”几小时的分析压缩到几分钟”+ “在代码仓库内自动生成并测试补丁”+ “给客户回交可审计的证据链”。

两家路线最大差别在访问门槛:Anthropic 的 Glasswing 把 Mythos 锁得很死,只给一小撮”可信防御者”(trusted defenders,主要是关键基础设施企业),出于安全 + 美国国家安全双重考虑;OpenAI 的 Daybreak 一上来就以更开放的姿态推广,瞄准更广客户群。Anthropic 的”安全派”姿态在这场对垒里第一次有了直接同业镜像 — 它会逼出”模型能挖漏洞 = 模型也能造武器”的监管讨论。Mozilla 4 月披露的 271 个 Firefox 漏洞全部来自 Mythos 协助的扫描,是这场新一轮战役的第一个公开战绩。


Google 把 Gemini 塞进 Android 内核,赶在 Apple AI “重启版”之前

Source · CNBC · 2026-05-12 · link

Why this — Android 操作系统正在被 LLM(大语言模型)“开膛重组”。

Google Android 生态负责人 Sameer Samat 5 月 12 日告诉 CNBC,Google 正在把 Android 的部分核心组件围绕 Gemini Intelligence(Google 的多模态 AI 平台)重建,让用户能”用自然语言完成日常任务” — 不是单独装一个 Gemini App,而是把模型能力嵌进系统层。背景是 Apple 已经预告今年 WWDC 会发布”AI 重启版” iOS(业界传闻是基于自研模型 + 第三方授权混合架构),Google 想抢在 Apple 之前把 Android 重新定义成”AI 优先操作系统”。

战略上 Alphabet 把宝压在 Gemini 既能在前沿模型层面跟 OpenAI / Anthropic 打,又能作为整个 Google 产品矩阵(搜索、Workspace、YouTube、Android)的 AI 底座 — Samat 这次表态等于给 Android 的 OEM 厂商(三星、小米、OPPO 等)发信号:“如果你们想在 AI 时代继续做 Android 手机,需要重新规划交互模型。“


论文

ConfoundingSHAP:用 Shapley 值量化每个协变量的”混杂强度”

ConfoundingSHAP: Quantifying confounding strength in causal inference

作者 · Marie Brockschmidt / Stefan Feuerriegel 等(LMU Munich + ML 复杂性中心) · arXiv:2605.10533 · link

观察性研究里最难的事是判断”哪些协变量在搞混”(confounder,既影响处理决定又影响结局的第三方变量)— 随机临床试验里 treatment assignment 是已知的,观察性研究里你只有数据没有 assignment 机制。这篇文章把 SHAP(一种解释机器学习预测的归因方法,借自合作博弈论里的 Shapley 值)改造成”对每个观察到的协变量分配混杂强度归因”的工具。两个核心贡献:(1) 重新设计 Shapley 博弈游戏的 value function,让它真的去量化”这个变量作为混杂源”的贡献,而不是 SHAP 通常做的”对预测的贡献”;(2) 用 TabPFN(Prior Labs 5/6 阴面栏目 6 也提过 — 表格数据的通用基础模型)做底层估计器,避免在指数级的协变量子集上反复重训传统的 outcome 模型。

DS Connect

如果你在做 observational A/B(实验组不随机分配但要估处理效应)或 uplift modeling,这套方法可以替你回答”我现在控制的 50 个 feature 里,到底哪 3-5 个在帮我对冲混杂、哪些其实没用还增加方差” — 是个比传统 propensity score balance check 更细粒度的工具,特别适合 Meta 这种 feature catalog 又长又野的场景。


新物

Needle — 把 Gemini 的 tool calling 蒸馏进 26M 参数小模型

https://github.com/cactus-compute/needle

一个 26M 参数的 function-calling 模型,把 Gemini 在”调用工具/函数”这件事上的能力蒸馏(distillation)到一个能跑在消费级设备的小模型上,架构号称”simple attention networks”(不是标准 transformer,砍掉了一些机制) · ML 工程师 / 端侧 agent 玩家 / 想把 AI 跑在手机或边缘设备的 startup founder

Eric 用得上吗

工作场景里如果你要把”让 LLM 调内部 API 拿数据”这件事下沉到端,或者做隐私敏感的 on-device agent,这种 SLM(small language model)+ 专一任务的路线比直接灌 GPT-4o 进 React Native 现实得多。Show HN 一天 589 分,明显击中了”agent 大模型 + 蒸馏小工具”的新分工。


Reddit

r/MachineLearning · “用复杂性理论证明 ML 不可能做到人类水平” — 这个证明其实站不住

原 post link · 700+ upvotes · 100+ 评论

2024 年 Van Rooij 等人发表”Ingenia Theorem”,号称证明了”用 ML 做出人类水平的分类器”是 NP-hard 的不可能任务 — 当时在 ML 圈引起小骚动。Toronto 的研究员 Mike Guerzhoy 发表反驳论文(《Computational Brain & Behavior》同期登载,arXiv 预印本 2411.06498):原证明里”人类水平分类器”这个核心概念从未被数学定义 — 原文一开始说它对应”人类情境-行为元组的分布”,但到正式证明环节悄悄换成”所有多项式时间可采样的分布”。这个偷换让证明”也顺手证明了 ImageNet 分类不可计算” — 显然是错的。作者还写了篇博客把这次失误跟 Penrose、Chomsky 等过去想用复杂性理论”证否 AGI”的尝试串起来。

Top comments 反应:

Eric 视角

DS 圈再看到”用复杂性理论 / 信息论 / 哥德尔不完备 一锤子证否 X”的 paper,先检查 X 在证明里有没有被严格 mathematized — 大多数这类 “doom-proof” 都死在第一页的 definition 上。


r/Anthropic · “Codex 真的开始比 Claude Code 好用了吗?”

原 post link · 135 upvotes · 高活跃讨论

楼主长期 Codex(OpenAI 的编程 agent)用户,最近达到使用限额改试 Claude Code(Anthropic 的命令行 coding agent)。结论是分场景:纯”vibe coding”(凭感觉描述需求让模型自由发挥)类设计任务 Claude Code 更顺手;但具体到 SQL 数据库迁移这种”硬技术活”上 Claude Code 反而干不动 Codex 能干的事。楼主问:“最近 Codex 圈一片说’我们超过 Claude 了’的声浪,是真的产品力差距,还是 OpenAI 营销轰炸?”

Top comments 反应:

Eric 视角

Claude Code 用户(包括我自己)需要承认这个真相:“产品力领先 6-12 个月”的窗口越来越短了,OpenAI Codex 集成做的扎实战已经在拿单点战役。一个 DS 视角的 sanity check:如果你的 daily driver 突然变弱,原因可能不是”对手营销” — 是它真的稍微落后了一点。


GitHub

tinyhumansai/openhuman ⭐4,921 · [Rust]

https://github.com/tinyhumansai/openhuman

这是干什么的:今天 GitHub trending 第一名,号称”完全本地、隐私优先、不联网”的个人 AI 超级智能 — 用 Rust 写的,目标是把 LLM / RAG(检索增强生成,用本地知识库做问答)/ agent 三件套打包成一个能跑在自家电脑上的”私有 AI 工作站”,零联网调用。1,595 新增 star / 24h 直接证明了 LocalLLaMA 圈这股”完全本地”诉求有多旺。

技术解读(Eric 是 DS 不是 SWE):

对 Eric 用得上吗

短期不直接用 — 但跟你 second brain + qmd + claude-mem 的方向同根:本地优先 / 隐私 / 单机部署。值得 watchlist 半年看它能不能从”trending 第一”活到”稳定主线”。


播客

Invest Like the Best · Anthropic CFO Krishna Rao — 算力采购就是这家公司每天最重要的决定

主持 Patrick O’Shaughnessy · 嘉宾 Krishna Rao(Anthropic 首席财务官 CFO,两年前加入时公司年化营收约 2.5 亿美元,现在 300 亿美元) · 2026-05-13 · Spotify

Krishna Rao 第一次上 podcast,把”一家前沿大模型公司的 CFO 每天到底在想什么”摊开讲了一遍 — 中心议题是”算力的采购和分配”,他把算力直接形容为”我们公司一切其他事情画画的画布”。

这期讲了什么:

金句:

“Compute is the canvas on which everything else gets painted. Everything else — research breakthroughs, product launches, customer commitments — is constrained or enabled by how much compute we have access to and how we allocate it across these three buckets each day.” — Krishna Rao

为什么听

如果你在 DS / ML infra 圈,这是一个少见的”frontier lab CFO 把内部 decision frame 说清楚”的样本 — 算力调度的”三 bucket 每日切分”+ Trainium/TPU/GPU fungibility framework,比 Stratechery 之类的外部分析更直接,能拿来对照你自己工作中怎么思考资源分配。


游戏

雪花石黎明(Alabaster Dawn)— CrossCode 团队的 2.5D 动作 RPG 进化版

Source · Rock Paper Shotgun / GameSpot / GamesRadar · 2026-05-12 · link · Steam 评分 96% 好评(1100+ 评测)

俯视角 2.5D 动作 RPG · PC (Steam Early Access) · 开发:Radical Fish Games(《CrossCode》原班人马)

Review 主旨(中译核心):

Rock Paper Shotgun 5/13 头条直接给了一个标题党反问 — “这游戏让你质疑 3D 到底还有没有必要”。GameSpot 把它形容为”玩起来像经典塞尔达,但战斗系统更好”。GamesRadar 用了一个不留余地的措辞:“可能比 CrossCode 还好”。三家评测者命名的核心特色机制是这几个:

(1) “破势槽”(Break Bars)— 仁王/只狼式的姿态系统嫁接到俯视角 ARPG:每个敌人有一个”破势槽”,玩家通过连段、命中敌人弱点元素或专属武器克制来不断累积;满槽后敌人进入”破势”状态,受到额外伤害。这套机制本来是 Sekiro 那种 souls-like 玩家熟悉的内核,但被嫁接到俯视角 ARPG(Zelda / Hyper Light Drifter 那种视角)里,是一次罕见的跨子类机制移植。

(2) 8 武器 × 4 元素技能树系统:8 种独特武器(剑、双剑、弓、爪、长矛等)每一种都有独立的技能树,可以注入 4 个元素属性(火、冰、雷、暗)形成 32 个 build 路径;战斗中可以瞬切武器,不像传统 ARPG 必须开菜单 — 这一条评测里反复被强调成”决定整个战斗手感”的设计。

(3) 美术上的 2.5D 革新 — 16 方向 + 独立肢体动画:传统像素 ARPG 角色只有 8 个朝向(南北东西 + 四对角),《Alabaster Dawn》做到 16 个 — 加上每个角色的四肢都独立动画(手、脚、武器分层),结果是 RPS 评测员所说的”让你怀疑 3D 必要性”的视觉密度。Radical Fish 为这一作专门重写了引擎。

CrossCode 当年的玩家会发现:本作把 CrossCode 的双摇杆射击 + 战斗节奏,跟 Secret of Mana / Terranigma 的 JRPG combat 流动感,再加上经典 Zelda 的关卡+解谜结构——三股 DNA 缝合进同一个 build 里。Early Access 版本完成度被评测者形容为”很多正式发布游戏都达不到的水平”。

游戏视角

机制类比:Sekiro 的”破势”+ 帕斯卡契约式武器切换 + Hyper Light Drifter 俯视角 ARPG combat — 三个你已经认可的”特色机制”叠在一个像素 ARPG 里。CrossCode 那批人当年就是手感狂魔,这次拿”破势槽 + 8 武器 × 4 元素”重新组装战斗系统,跟你 ★★★★ tier 里的 souls-like / 战术 RPG / indie metroidvania 三处偏好都有交集。Eric Access 而非完成形态,但 RPS / GS / GamesRadar 三家罕见的一致是个强信号。


10.9 分钟 · 266k tokens · ≈ $2.12