如果你一直在考虑加入 Costco，现在正是好时机。这家仓储式零售商为新会员提供了一项优惠：注册 **Gold Star 会员**（年费 65 美元）即可获赠 **20 美元礼品卡**，相当于实际支付仅 **45 美元**。 ## 优惠详情 - **会员类型**：Gold Star 会员（个人标准会员） - **年费**：65 美元 - **赠品**：20 美元 Costco 礼品卡 - **实际成本**：45 美元（65 - 20） - **适用对象**：新会员 - **有效期**：当前活动，建议尽早注册 ## 如何获取 1. 访问 Costco 官网或前往门店。 2. 选择 Gold Star 会员计划。 3. 在结账时使用优惠代码（如有）或自动应用优惠。 4. 礼品卡将在注册后通过电子邮件或邮寄方式发放。 ## 为什么现在加入 夏季来临，汽油价格持续上涨，Costco 的会员福利包括加油站折扣、低价商品和独家优惠。以 45 美元的年费享受这些权益，性价比极高。 ## 注意事项 - 该优惠仅限新会员。 - 礼品卡使用可能有条款限制（例如有效期、使用范围）。 - 优惠可能随时结束，建议尽快行动。 ## 总结 这次 Costco 的限时优惠将会员费从 65 美元降至 45 美元，是入手会员资格的理想时机。如果你计划在夏季大量采购或节省油费，不妨抓住这个机会。
SpaceX 的 S-1 文件终于面世，这份长达数百页的招股说明书讲述的故事远不止火箭。仅风险因素部分就占据了 36 页，而其中的数字更是与公司的雄心壮志相匹配：**28 万亿美元**的总可寻址市场、与**建立火星殖民地**挂钩的薪酬方案，以及一个有望使其成为美国历史上最大 IPO 的估值目标。 ## 巨大的市场与宏大的叙事 招股书显示，SpaceX 将其总可寻址市场定义为“连接、运输和太空探索”的融合体，涵盖了卫星互联网、太空运输以及未来的行星际经济。**28 万亿美元**的数字无疑令人瞠目，但这一数字基于对 2030 年代及以后全球 GDP 的乐观假设。对于投资者而言，关键在于区分哪些是现实可及的业务，哪些是长期愿景。 ## 火星计划与薪酬挂钩 最引人注目的细节之一，是 CEO 埃隆·马斯克的薪酬方案与**建立火星殖民地**的里程碑直接挂钩。这种激进的激励机制在传统企业中闻所未闻，却完美体现了 SpaceX 的使命驱动文化。然而，这也意味着高管薪酬的兑现依赖于技术突破和长期资本投入，短期内可能无法为股东带来直接回报。 ## 估值与风险并存 SpaceX 的目标估值尚未最终确定，但市场传闻其可能寻求**超过 2500 亿美元**的估值，这将超越当前几乎所有上市公司。然而，招股书中列出的风险因素同样庞大：星链（Starlink）的盈利能力尚待验证、火箭重复使用技术的可靠性、监管不确定性，以及火星计划可能带来的无限负债。 ## IPO 时间与市场影响 SpaceX 计划在**纳斯达克**上市，股票代码为 **SPCE**（与维珍银河的代码相同，可能引发混淆）。尽管公司尚未公布具体时间表，但分析师预计 IPO 可能在 2025 年下半年进行。如果成功，这将成为继阿里巴巴之后最具标志性的科技公司上市事件。 ## 投资者需要信仰 对于潜在投资者而言，SpaceX 的 IPO 不仅是一次财务投资，更是一种对未来的信仰。**28 万亿美元**的市场是愿景，火星殖民地是梦想，而眼前的星链和发射服务则是现实的锚点。在风险与机遇之间，这份 S-1 文件清楚地表明：SpaceX 不只是火箭公司，它是人类多行星文明的赌注。
AI翻唱和混音已成为互联网上的一大公害。Spotify、YouTube、TikTok和Instagram上充斥着Nirvana《Smells Like Teen Spirit》的平淡雷鬼版、The Weeknd的拙劣乡村版、AC/DC的单调摩城版。如今，Spotify推出的一款新工具将让这些内容的生成和分享变得更加容易。 Spotify与环球音乐集团（UMG）签署了一项授权协议，允许用户使用UMG曲库生成混音和翻唱。具体如何运作（除了“由生成式AI技术驱动”之外）以及费用多少，目前尚不清楚。他们将其定位为面向超级粉丝的高级订阅附加服务。据UMG首席执行官Sir Lucian Grainge称，这旨在“深化粉丝关系”。 学习用吉他弹奏你最喜欢的歌曲，或者通过分析音轨来创作自己的混音，确实能让你深入了解歌曲创作，并更欣赏你喜爱的艺术家。但这些好处在你仅仅通过提示词让AI生成一个Beyoncé《Break My Soul》的蓝草版本时并不存在。坦率地说，整件事感觉对人类创造力以及作为源材料的艺术家都是一种不尊重。 这其中还夹杂着一丝自恋。学习演奏或演唱一首歌能让你与作品建立联系，并培养一项技能。而AI翻唱只是为了炫耀：“看看我做了什么。”或者更准确地说：“看看我让机器为我做了什么。”这一点在Suno的Reddit子版块中可见一斑，人们经常说他们只听自己制作的音乐。那里的人们自豪地宣称他们不再在Spotify或其他流媒体服务上听艺术家的歌，只听自己生成的音乐。 当我撰写这篇报道时，Spotify的AI工具尚未正式上线，因此我无法测试其实际效果。但根据目前的信息，它很可能鼓励用户生成大量低质量的AI翻唱内容，进一步稀释音乐的价值。真正的粉丝应该通过创作自己的混音或翻唱来致敬艺术家，而不是依赖AI。
记者兼作家 Steven Rosenbaum 的新书《真相的未来：AI 如何重塑现实》探讨了 AI 对真相的扭曲，但书中却出现了 AI 生成的“合成引述”。据《纽约时报》调查，书中至少有两处引述被当事人否认：科技记者 Kara Swisher 称自己“从未说过”某句话，东北大学教授 Lisa Feldman Barrett 则表示引述内容“不存在于我的书中，而且是错误的”。Rosenbaum 承认问题源于他在研究过程中使用了 AI 工具，并正在与编辑合作进行“引文审计”以修正后续版本。 然而，令人惊讶的是，Rosenbaum 并不打算放弃 AI。他表示自己“学到了教训”，未来会对 AI 输出“更加怀疑和谨慎”，但同时也认为 AI 是“神奇的”，因为它能“连接想法、提供思考路径”。他将 AI 比作托尔金笔下的“至尊魔戒”——使用者往往相信自己能掌控其力量。Rosenbaum 强调，AI 仅用于“浮现想法、定位文章、总结主题”，而“实际的报道、叙事结构、采访、论点和结论”完全属于他自己。 这一事件再次引发关于 AI 在写作中可靠性的讨论。Rosenbaum 的经历表明，AI 工具可能产生看似合理但实际错误的引述，而人类作者难以完全识别。尽管存在风险，许多创作者仍因 AI 的高效和创造力而难以割舍。Rosenbaum 计划继续使用 AI，但会加强验证流程，例如要求 AI 提供来源链接。 ## 行业启示 - **AI 的幻觉问题**：大型语言模型可能生成逼真但虚假的内容，包括引述、数据和事实。 - **人类监督的局限**：即使有经验的研究者，也可能被 AI 的流畅输出所迷惑。 - **未来方向**：工具厂商需改进引用机制，用户则需建立更严格的核查流程。
Lowe's 刚刚上线了阵亡将士纪念日促销活动，覆盖家电、烤炉、庭院工具等品类，折扣力度相当可观。本文为你盘点最值得关注的几款优惠，包括 Blackstone 36 英寸铁板烤炉（省 $100）、三星标准深度 31 立方英尺冰箱（省 $1,200）、惠而浦 16 立方英尺冷柜（省 $400）以及 Greenworks Pro 电池庭院工具套装（省 $550）。如果你正计划升级家居或打理庭院，现在正是入手好时机。
近期，三星电子与其半导体部门员工达成了一项临时协议，解决了潜在的罢工危机，并让部分员工有望获得平均每年高达34万美元的奖金。这项协议标志着全球AI芯片热潮下，半导体行业人才争夺战的又一激烈案例。 根据协议内容，所有芯片部门员工将获得相当于年薪50%的现金定期奖金。此外，三星将拿出年度营业利润的10.5%，以股票形式向半导体员工发放额外奖金。这笔股票奖金的分配方案是谈判焦点：最终确定40%分配给整个半导体部门（包括亏损的逻辑芯片和第三方组件业务），剩余60%专门分配给当前盈利强劲的内存芯片部门。 对于一名年薪约5万美元的内存芯片员工，其总奖金可能达到41.6万美元。如此丰厚的回报，直接反映了AI需求推动下内存芯片市场的火爆。 ### 协议背后的博弈 此次劳资谈判的导火索是三星对半导体部门员工的奖金上限，以及竞争对手SK海力士因AI组件需求大增而提供的更高奖金。SK海力士的奖金可以现金或股票形式发放，而三星的股票奖金有更多限制，且实际支付金额仍略低于SK海力士。因此，从公司角度看，这份协议在满足员工诉求的同时，并未显著增加人力成本负担。 ### 行业影响 三星与SK海力士的奖金竞争，凸显了全球半导体行业，特别是高带宽内存（HBM）等AI关键组件领域的激烈人才争夺。随着AI算力需求持续攀升，掌握先进制程和封装技术的工程师成为稀缺资源。三星通过将奖金与公司利润深度绑定，既激励了核心员工，又避免了现金流的过度消耗。 值得注意的是，部分员工已开始规划如何使用这笔巨额奖金，这从侧面反映了半导体行业当前惊人的盈利能力。然而，这种高额奖金能否持续，仍取决于AI芯片市场的后续走势以及三星在技术和产能上的竞争力。
## 海底电缆：海湾AI雄心的“阿喀琉斯之踵” 沙特阿拉伯、阿联酋等海湾国家正斥资数十亿美元建设AI基础设施，吸引超大规模云服务商，力图将自身打造为未来的算力出口中心。然而，这一宏伟蓝图却系于一个令人意外的脆弱环节：几条穿行于全球最动荡水域的海底电缆。 ### 从石油到算力：电缆成为战略资产 海底电缆承载着全球约95%的国际数据流量。对于海湾地区而言，问题在于**高度集中**：该区域连接欧洲和美国的大部分通信仍依赖通过红海和霍尔木兹海峡的少数几条线路。中东地处欧、亚、非交汇点，是全球互联网流量最重要的中转枢纽之一。 随着地缘政治紧张局势升级——例如今年早些时候美、以、伊之间的冲突——专家警告，区域性冲突可能威胁到海湾关键电缆基础设施。今年5月，有媒体报道称伊朗曾考虑控制所有七条经过霍尔木兹海峡的海底电缆。 ### 电缆损坏：不止是网速变慢 对于正从石油经济向AI驱动经济转型的海湾国家来说，一条电缆的损坏可能远远不止拖慢网速——它可能动摇整个新兴AI商业模式的基础。与传统互联网流量不同，AI基础设施依赖超大规模数据中心、云服务商和企业客户之间**持续、海量的数据流动**。即使短暂的中断也会造成重大的运营和财务后果。 “超大规模云服务商和区域运营商正在推动多元化，因为他们的需求已经超越了带宽，”业内人士指出，“他们现在需要多条、高弹性的光纤路由。” ### 多元化迫在眉睫 海湾国家正试图将能源财富转化为AI基础设施——像曾经出口碳氢化合物那样，出口算力和云容量。随着超大规模企业在当地落户，对电缆的依赖与日俱增，弹性光纤基础设施已从奢侈品变为商业必需品。 目前，区域运营商和云巨头正积极投资新电缆线路，并探索替代路由，以降低对少数关键节点的依赖。但在地理和政治现实面前，这条多元化之路注定不会平坦。
## 研究速览 来自 NICE Actimize 的研究团队提出了一种名为 **Temporal Contrastive Transformer (TCT)** 的表示学习框架，旨在通过自监督对比学习捕获金融交易序列中的时序动态模式，从而为下游欺诈检测任务生成有效的嵌入表示。 ## 核心方法 TCT 的核心设计基于 Transformer 架构，并引入了**预测性对比编码**（Predictive Contrastive Coding）作为训练目标。模型通过自监督方式学习，无需标注数据即可从原始交易序列中提取行为模式。具体来说，TCT 将一段时间窗口内的交易序列编码为嵌入向量，这些嵌入向量能够反映用户行为在时间维度上的变化规律。 ## 关键实验结果 在真实场景下的评估中，研究团队将 TCT 生成的嵌入作为梯度提升分类器的输入特征，并与传统基于领域知识的特征工程基线进行了对比： - **仅使用 TCT 嵌入**：分类器 AUC 达到 **0.8644**，说明模型成功捕获了有意义的时序结构。 - **结合领域工程特征**：AUC 为 **0.9205**，而基线（仅工程特征）为 **0.9245**，二者差异极小，表明 TCT 嵌入与现有抽象特征存在较大重叠，未能带来显著增量收益。 ## 行业启示与挑战 这一结果揭示了当前时序表示学习在金融犯罪检测领域的一个关键矛盾：**自监督嵌入虽然能逼近强特征工程的效果，但尚难实现“叠加式”提升**。对于金融机构而言，这意味着 TCT 有潜力减少对繁重人工特征工程的依赖，但距离直接部署于生产环境仍有距离。 研究团队指出，TCT 目前属于“中间阶段”成果，后续优化方向包括改进模型架构、探索更有效的训练目标以及设计更优的集成策略。值得注意的是，在强基线基础上取得 **AUC 0.9205 与 0.9245 的对等表现**，本身已证明自监督方法能够学习到与专家设计特征同等质量的表示，这为降低特征工程成本提供了可行路径。 ## 小结 Temporal Contrastive Transformer 是自监督学习在金融反欺诈领域的一次有益尝试。它展示了 Transformer + 对比学习在时序建模中的潜力，同时也提醒业界：当已有强大的特征工程时，新方法需要找到独特的“互补价值”而非简单替代。未来，如何让模型捕获工程特征遗漏的异常信号，将是研究突破的关键。
随着语言模型在自动化假设生成和实验实施方面加速科学研究，一个**新的瓶颈**浮出水面：如何在不进行详尽实验的情况下，评估和筛选数百个AI生成的研究想法？来自最新研究（arXiv:2605.21491）的团队提出，能否让语言模型学会**预测研究想法的实证成功**，即在运行任何实验之前判断哪个想法更可能取得更好性能？ 该研究聚焦于**比较性实证预测**任务：给定一个基准测试的研究目标和两个候选想法，模型需要预测哪个想法能取得更优的基准性能。为此，研究团队构建了一个包含 **11,488 个想法对** 的数据集，这些想法对的结果基于 PapersWithCode 的客观实证结果。 实验结果令人瞩目：未经微调的 8B 参数模型仅达到 **30% 的准确率**，而通过监督微调（SFT），准确率飙升至 **77.1%**，甚至超越了 GPT-5 的 61.1%。更值得一提的是，研究团队将评估任务建模为推理任务，并采用**带可验证奖励的强化学习（RLVR）**训练模型，使模型学会发现潜在的推理路径，在保持可解释性的同时达到 **71.35% 的准确率**。 通过消融实验和分布外测试，研究证明了模型对表面启发式特征的鲁棒性，并成功迁移到跨领域时间分割测试集和独立构建的测试集上。这些结果表明，**计算高效的小型语言模型**可以作为有效、客观的验证器，为自主科学发现提供可扩展的路径。 该研究已入选 **ACL 2026 Findings**，为AI驱动的科研自动化开辟了新方向——从“生成想法”迈向“智能筛选想法”，有望显著加速科学研究的迭代周期。
## 引言 特征重要性排序是解释机器学习模型的核心手段之一，广泛应用于模型诊断、特征工程乃至公平性审计。然而，一篇来自 arXiv 的新论文《The Attribution Impossibility: No Feature Ranking Is Faithful, Stable, and Complete Under Collinearity》揭示了在特征存在共线性时，任何单一特征排序都无法同时满足**忠实性（faithful）**、**稳定性（stable）**和**完备性（complete）**三个基本属性。该研究不仅从理论上证明了这一不可能性，还通过形式化验证（Lean 4 定理证明器）提供了机械验证，并对实际影响给出了量化分析。 ## 核心发现：不可能三角 论文指出，当特征存在共线性时，特征排序面临一个根本性的困境： - **忠实性**：排序必须准确反映特征对模型输出的真实贡献。 - **稳定性**：在数据微小扰动下，排序结果不应剧烈变化。 - **完备性**：排序应覆盖所有特征，不遗漏任何信息。 作者证明，这三个属性无法同时满足。具体来说，对于共线性较强的特征对，排序结果近乎随机——就像抛硬币一样不可靠。 ## 设计空间二分法 论文进一步刻画了归因方法的完整设计空间：存在且仅存在两类方法族： 1. **忠实-完备方法**：这类方法（如原始 SHAP）能忠实反映贡献并覆盖所有特征，但**不稳定**——在共线性下，排序结果有高达 50% 的概率发生翻转。 2. **集成方法（如 DASH）**：这类方法通过集成平均实现稳定，但对对称特征会报告“平局”（tie），而非给出确定性排序。 论文提出的 **DASH（Diversified Aggregation of SHAP）** 方法被证明在无偏聚合中达到了帕累托最优，其方差达到了 Cramér-Rao 下界，且集成规模有严格公式。 ## 量化分析与实证证据 不同模型类别的共线性影响程度各异： - **梯度提升模型**：归因比率随 1/(1-ρ²) 发散，ρ 为特征间相关系数。 - **Lasso 回归**：归因比率趋于无穷，即完全不可靠。 - **随机森林**：归因比率收敛，相对稳健。 在 77 个公开数据集的调查中，**68% 的数据集**表现出归因不稳定性。这意味着大多数实际应用场景中，依赖单一特征排序可能产生误导。 ## 对公平性审计的冲击 论文特别指出，基于 SHAP 的代理歧视审计（proxy discrimination audit）在共线性下**不可靠**。当特征存在相关性时，SHAP 值无法区分直接贡献与间接关联，可能导致错误的公平性结论。作者建议审计实践应转向更稳健的方法，或采用 DASH 等集成方案。 ## 形式化验证与实用工具 该研究的一大亮点是使用了 **Lean 4 定理证明器**对核心定理进行了机械验证——共 305 个定理，从 16 条公理推导，无任何未完成证明（0 sorry）。据作者称，这是可解释 AI 领域首个经过形式化验证的不可能定理。 此外，论文还提供了实用诊断工具：一套 Z 检验工作流和单模型筛查工具，帮助从业者快速检测数据中是否存在严重的归因不稳定问题。 ## 结论与启示 这项研究为可解释 AI 领域敲响了警钟：特征排序并非万能，尤其在特征高度相关的场景中。模型解释需要超越“单一排名”思维，转向更丰富的归因表示（如置信区间、平局报告或集成方案）。对于高 stakes 应用（如医疗、金融、司法），忽视这一不可能性可能导致严重的决策失误。 DASH 方法提供了一条务实路径：通过集成平均换取稳定性，同时用平局处理避免虚假的确定性。未来，或许我们需要重新定义“解释”的目标——不是给出一个绝对排名，而是提供关于贡献的分布信息。
## 背景：静态测试无法捕捉急诊关键失败模式 前沿语言模型正以前所未有的速度被部署到临床工作流中，但安全评估基础设施严重滞后。传统的医学问答基准（如MedQA）仅评估单轮回答正确率，完全无法捕捉急诊医学中的关键失败模式——**轨迹级安全崩溃**、**工具滥用**以及**在持续临床压力下的妥协行为**。 ## HealthCraft：首个面向急诊医学的RL安全环境 **HealthCraft** 是首个公开的、专为急诊医学设计的强化学习安全环境，基于 Corecraft 框架改造。它构建在 **FHIR R4 世界状态**之上，包含 **14 种实体类型**和 **3,987 个种子实体**，并公开 **24 个 MCP 工具**。环境采用**双层奖励机制**：一旦任何安全关键标准被违反，立即将奖励归零，从而强制模型学习轨迹级安全行为。 HealthCraft 发布了 **195 个任务**（横跨六大类别），针对 **2,255 个二元评价标准**（其中 515 个为安全关键标准）进行评分。后续补充的 10 个负类任务将总任务数扩展至 **205 个**，评价标准增加至 **2,337 个**。 ## 前沿模型表现：多步流程接近零分 研究团队在两个前沿模型上进行了测试，结果令人震惊： - **Claude Opus 4.6**：Pass@1 为 **24.8%** [21.5-28.4]，安全失败率 **27.5%** - **GPT-5.4**：Pass@1 仅为 **12.6%** [10.2-15.6]，安全失败率高达 **34.0%** 更值得警惕的是，在**多步工作流**（最接近真实急诊护理的代理）中，两个模型的表现均**接近零**——Claude 为 1.0%，GPT-5.4 为 0.0%，尽管它们在单个步骤上表现出部分能力。这说明模型缺乏连贯的轨迹级安全推理能力。 ## 基础设施保真度：影响评估结果 研究还发现，基础设施的 bug 修复会显著改变模型排名。从 v2 到 v8 版本之间共修复了 **6 个基础设施 bug**，这些修复甚至**重新排序了哪个模型更强**——这表明**基础设施保真度本身就是测量的一部分**。 ## 评估与训练：奖励信号的陷阱 HealthCraft 使用**确定性 LLM 评委**覆盖层来降低评估噪声，并进行了 60 次负类烟雾测试。结果显示，奖励信号并非“拿来就能训练安全”——例如，约束标准通过率高达 0.929，这种可被评估框架容忍的“可游戏性”，在训练奖励中却完全不可接受。 ## 未来与开源 研究团队已搭建了与 **Megatron + SGLang + GRPO** 训练循环的耦合接口（详见 Corecraft 第 5.2 节），但将训练奖励消融实验留作未来工作。HealthCraft 的环境、任务、评价标准和评估框架已在 **Apache 2.0 协议**下开源。 > **小结**：HealthCraft 揭示了当前前沿语言模型在急诊医学场景中的严重安全缺陷。它不仅是评估工具，更是一个警示：在安全基础设施跟上之前，盲目部署可能带来灾难性后果。
随着大语言模型（LLM）向智能体（Agent）方向发展，如何让模型在长时间执行任务时保持稳定高效，成为业界关注的核心问题。一篇来自 arXiv 的新论文提出了一个有趣的观点：用于引导 Agent 执行的“缰绳”（Harness）并非越精细越好，过度分解或过度引导反而可能降低任务成功率。 ## 什么是“缰绳”设计？ 论文将“缰绳”定义为一种推理时（inference-time）的对齐技术，它通过**任务分解**和**引导执行**两个核心机制来提升 LLM Agent 的长期表现。任务分解将复杂目标拆解为若干子目标，引导执行则是在每一步调整模型的行动分布，使其更倾向于正确的方向。 ## 关键发现：更精细≠更有效 研究团队通过理论分析和实验验证，揭示了“缰绳”设计中的几个关键失败模式： - **过度分解（over-decomposition）**：将任务拆解得过细，反而增加了执行路径的复杂度，让 Agent 在细枝末节上迷失方向。 - **过度修剪（over-pruning）**：过于严格的引导可能会提前剪掉一些虽然看似偏离、但实际有效的探索路径。 - **幻觉执行（hallucinated execution）**：Agent 在引导下“假装”执行了某个子任务，但实际上并未完成，导致后续步骤建立在虚假前提上。 ## 部分引导反而更优 更令人意外的是，论文指出**有效的“缰绳”可以是部分的**：只需指定初始的几步执行计划，后续让 Agent 自由发挥，反而比完整、结构化的工作流获得更高的通过率。这提示我们，在 Agent 设计中需要权衡控制与自主，给予模型适当的自由空间。 ## 行业启示 这一研究对于当前 LLM Agent 的工程实践具有重要意义。许多团队在构建 Agent 系统时，倾向于设计详尽的工作流和严格的步骤约束，但本研究表明，过度设计可能适得其反。未来的 Agent 系统或许应当采用**自适应缰绳**策略：根据任务复杂度和 Agent 的实时表现，动态调整引导的粒度。 论文通过合成实验和真实的终端 Agent 基准测试验证了上述理论预测，为推理时对齐提供了新的理论框架和实践指导。对于开发者而言，这无疑是一个值得关注的信号：在 Agent 设计中，少即是多。
## 研究背景 过参数化模型近年来在机器学习领域表现抢眼，它们尽管参数数量远超样本数，却依然能实现出色的泛化性能。这一现象与经典统计理论中过拟合的预期相悖，促使研究者提出了“**双下降**”理论：随着模型复杂度增加，测试误差先下降后上升，随后在过参数化区域再次下降。然而，现有双下降研究大多假设数据干净，真实场景中的数据常存在异常值或污染。 ## 研究内容 Tino Werner 在 arXiv 预印本《Double descent for least-squares interpolation on contaminated data: A simulation study》中，通过模拟实验探索了线性回归中最小二乘插值在污染训练数据上的双下降现象。研究将高度非鲁棒的最小二乘插值估计器与多种稳健估计器进行对比，考察过参数化是否能缓解污染带来的影响。 ## 核心发现 实验结果表明：**在污染数据上，最小二乘插值同样表现出双下降行为**。当模型极度过参数化时，其泛化误差显著降低，甚至超越稳健估计器的表现。这意味着，尽管最小二乘对异常值极为敏感，但在过参数化区域，模型对污染的“记忆”反而转化为优势，插值逼近的灵活性使得模型能够忽略异常值的影响。 ## 理论意义 该研究将双下降现象从干净数据扩展至污染数据场景，为理解过参数化模型的鲁棒性提供了新视角。传统稳健统计强调通过设计估计器来抵抗异常值，而本工作表明，**过参数化本身可能就是一种隐式的鲁棒机制**。这一发现对实际应用具有指导意义：当数据质量难以保证时，使用大模型或许比精心设计鲁棒算法更有效。 ## 局限与展望 目前研究仅基于线性回归和模拟数据，真实场景的复杂非线性模型、不同污染类型（如标签噪声、特征噪声）仍需进一步验证。此外，双下降的临界点如何受污染程度影响，以及理论上的条件边界，都有待深入探索。
## 研究背景 大语言模型（LLM）提示在自然语言任务中广泛应用，但其可靠性存疑：一个程序可能在少量测试用例上表现良好，部署时却频频失败。如何提前预测程序在未见任务上的真实性能？近日，arXiv上的一篇论文（arXiv:2605.21515）提出了一种基于贝叶斯推断的解决方案，并揭示了符号程序（如Python）与提示程序在性能分布上的根本差异。 ## 核心方法：硬币翻转模型 研究团队采用了一个简单的**硬币翻转模型**：将每次程序执行（通过或失败）视为一个伯努利随机变量，其成功概率即为程序的未知性能。预测性能的关键在于两点： 1. 在给定测试用例上的观察结果； 2. 性能的先验分布。 通过从大量程序和任务中编译经验性性能先验，他们发现了一个惊人的差异： - **符号程序（如Python）** 的性能呈现“全有或全无”的分布——要么完全正确，要么完全错误。 - **提示程序** 则具有弥散的先验分布，存在大量“几乎正确”的程序。 这一差异直接解释了为何少数几个通过测试用例就能**认证符号程序的可靠性**，但对提示程序却几乎无效。 ## 创新点：RAP框架 基于上述洞察，作者提出了 **RAP（Retrieved Approximate Prior）** 方法。其核心思想是：当面对一个新程序时，从已有语料库中检索相似任务和提示程序，构建一个近似先验，然后用这个先验来预测性能。实验表明，RAP取得了稳健的预测效果。 ## 意义与展望 该研究为LLM应用的可靠性评估提供了理论工具。对于开发者而言，这意味着： - 在部署符号程序时，少量测试即可建立较高置信度； - 对于提示程序，则需要更全面的测试策略，因为“几乎正确”的程序往往隐藏着失败风险。 未来，RAP框架有望被集成到开发流程中，帮助工程师在发布前更准确地预估程序在实际场景中的表现。
## 核心发现：特征紧凑不等于不确定性感知好 近日，一篇题为《Don't Collapse Your Features: Why CenterLoss Hurts OOD Detection and Multi-Scale Mahalanobis Wins》的论文引发关注。该研究揭示了一个反直觉的现象：**CenterLoss**——一种常用于提升分类准确率的特征紧凑正则化方法——**会显著损害模型对分布外（OOD）输入的检测能力**。 ## GOEN 方法：几何优化的不确定性网络 研究者提出了 **GOEN（Geometry-Optimised Epistemic Network）**，一个简洁的流水线，融合了多尺度特征提取、L2 归一化、马氏距离（Mahalanobis distance）以及一个用真实困难 OOD 样本训练的校准头。该方法旨在直接优化特征几何结构，使其更适合不确定性估计。 ## 关键实验与对比 在 CIFAR-10 基准测试上，GOEN 的最佳变体 **GOEN-NoCenterLoss** 取得了 **平均 OOD AUROC 0.9483**，全面超越了深度集成（0.8827）、KNN（0.8967）和 ODIN（0.8870）等基线方法，同时保持了有竞争力的分布内（ID）准确率。 而引入 CenterLoss 后，尽管分类准确率略有提升，但 OOD AUROC 从 0.9483 下降至 0.9366，验证了其负面作用。 ## 为何 CenterLoss 有害？ 论文指出，CenterLoss 强制拉近同类特征，导致特征簇过度紧凑。这种坍缩会压缩类别间的边际，并扭曲协方差结构——而协方差矩阵正是马氏距离计算中衡量特征相关性的关键。过度紧凑的特征空间使得 OOD 样本与 ID 样本难以区分，因为所有特征都挤在了一起。 ## 行业启示与效率优势 这一发现挑战了“更好的分类几何必然带来更好的认知不确定性”的普遍假设。对于 AI 安全部署而言，OOD 检测能力与分类准确率之间存在根本性的权衡。GOEN 的训练十分高效，**单 GPU 上不到 20 分钟**即可完成，为构建能可靠识别自身局限的 AI 系统提供了实用蓝图。 ## 小结 GOEN 通过放弃 CenterLoss 并采用多尺度马氏距离，实现了当前最优的 OOD 检测性能。这项研究提醒我们：在追求分类精度的同时，不应忽视特征空间的全局几何，否则可能“赢了分类，输了安全”。
三个月前，OpenAI联合创始人Greg Brockman向我表达了对人工智能公司日益严峻的公关危机的担忧：尽管ChatGPT等工具广受欢迎，但越来越多的人表示对AI持负面看法。自那以来，反弹愈演愈烈。大学毕业典礼演讲者因乐观谈论AI而被嘘；上个月，有人向OpenAI CEO Sam Altman在旧金山的家中投掷燃烧瓶，并留下宣言鼓吹针对AI高管的罪行。在这场声誉危机中，没有谁比OpenAI损失更大。负责解决这一问题的人是Chris Lehane，OpenAI全球事务负责人、资深政治操盘手。本周我与他坐下来，讨论了他面临的两大挑战：说服世界拥抱OpenAI的技术，同时说服立法者通过不会阻碍公司发展的法规。Lehane认为这两者是一回事。“在（克林顿）白宫时，我们常说好政策等于好政治，”Lehane说，“你必须让两者协同推进。”在克林顿白宫处理危机沟通后，Lehane自称“灾难大师”。他后来帮助Airbnb抵御监管者——那些城市将短期租房视为法律灰色地带，用他的话说，“走在法律前面”。Lehane还在Fairshake（一个强大的加密行业超级政治行动委员会）的成立中发挥了关键作用，该委员会致力于在华盛顿使数字货币合法化。自2024年加入OpenAI以来，他迅速成为公司最具影响力的高管之一，目前负责沟通和政策团队。Lehane告诉我，关于AI将如何改变社会的公众叙事往往是“人为二元对立”的。一边是“Bob Ross世界观”，预测未来无人需要工作，所有人都“住在海边别墅整天画水彩”；另一边是反乌托邦未来，AI强大到只有少数精英能控制。Lehane认为，这两种情景都不现实。OpenAI过去也曾助长这种两极化的言论。CEO Sam Altman曾警告AI可能带来的极端风险。如今，Lehane正试图扭转局面，推动更务实的讨论。他主张各州通过不会扼杀创新的法律，同时强调AI的实际益处，如医疗和教育领域的进步。但挑战巨大：公众信任度下降，监管压力增加。Lehane的策略是聚焦于“中间地带”，通过对话和透明度重建信任。他能否成功，将影响OpenAI乃至整个AI产业的未来。
Amazon Nova Act 现已符合 HIPAA 合规要求，可在医疗保健和生命科学领域处理受保护的健康信息（ePHI）。该服务支持部署自主浏览器 AI 代理，自动化复杂的工作流程，如理赔处理和转诊协调。本文介绍了 Nova Act 的核心功能、HIPAA 合规对代理型 AI 的重要性以及如何快速上手。 ## Amazon Nova Act 是什么？ Amazon Nova Act 是一项 AWS 服务，用于构建和管理可靠的 AI 代理集群，以大规模自动化生产环境中的 UI 工作流。Nova Act 能够在浏览器中完成重复性 UI 任务，并在适当时升级给人工监督员。它通过 API 调用、远程 Model Control Protocol（MCP）或代理框架（如 Strand Agents）与外部工具集成。用户可以通过自然语言和 Python 代码的组合来定义工作流。 对于医疗组织而言，这意味着更少的行政负担、更快的理赔周转以及更一致的流程执行。 ## 为什么 HIPAA 合规对代理型 AI 至关重要？ 与仅生成文本的模型不同，代理型 AI 系统会与实时系统交互、访问数据并执行可能涉及受保护健康信息（PHI）的工作流。根据 AWS 的**责任共担模型**，AWS 负责底层基础设施的安全，而客户仍需负责配置控制措施以确保其部署符合 HIPAA 要求。 ## 医疗用例 借助 HIPAA 合规资格，您现在可以自动化以下任务： - **预约安排**：在提供者和支付方门户中自动安排预约。 - **保险验证**：自动验证患者保险资格。 - **事先授权**：自动处理事先授权流程。 - **理赔管理**：在支付方网站上检查理赔状态、提交上诉并跟踪报销。 - **转诊跟踪**：在提供者之间发送和跟踪转诊。 - **合规报告**：从多个系统收集数据以进行合规报告。 ## 如何开始？ 要开始使用 Amazon Nova Act，请访问 AWS 管理控制台，创建代理并定义工作流。AWS 提供了详细的文档和示例代码，帮助您快速集成。请注意，HIPAA 合规需要您与 AWS 签订商业伙伴协议（BAA），并确保您的部署配置满足安全要求。 ## 总结 Amazon Nova Act 的 HIPAA 合规资格为医疗行业利用代理型 AI 自动化关键工作流打开了大门。通过减少手动操作，组织可以提高效率、降低成本并减少错误。随着 AI 在医疗领域的应用不断深入，合规性将成为推动广泛采用的关键因素。
SpaceX 在近期提交的 IPO 文件中，将 AI 定位为公司未来的核心支柱，并宣称其潜在市场规模高达 26.5 万亿美元，几乎与美国名义 GDP 持平。这一数字远超第三方对全球 AI 市场的预测——Gartner 估计 2027 年全球 AI 支出为 3.3 万亿美元，花旗则预测 2030 年可能超过 4.2 万亿美元。SpaceX 的野心背后，是今年早些时候正式收购了马斯克旗下的 xAI 公司，并将其改组为 SpaceXAI 部门，负责 Grok 模型和聊天机器人的开发。然而，Grok 的市场表现远未达到预期。据 AppMagic 对 26 万美国消费者的调查，2026 年第二季度仅有 0.174% 的受访者为 Grok 付费，而 ChatGPT 的付费率超过 6%。企业级市场上，Anthropic 的 Claude 和 Google Gemini 也在过去一年快速增长。马斯克本人曾在针对 OpenAI 的诉讼听证会上承认，xAI 是“最小的 AI 公司”。SpaceX 的 S-1 文件强调，其传统火箭发射和卫星业务将作为 AI 业务的支撑。但分析师指出，SpaceX 需要首先在 AI 竞争中追赶资金雄厚的对手，包括由科技巨头背书的 OpenAI 和 Anthropic。此外，SpaceX 提出的“轨道数据中心”概念——将 AI 计算部署在太空——在技术上仍面临延迟、散热和成本等挑战。目前，Grok 的整合优势仅局限于马斯克旗下的社交平台 X，尚未形成广泛的生态效应。SpaceX 的 AI 豪赌能否成功，取决于其能否在模型能力、用户获取和商业化上实现跨越式突破。
在最新一期《Uncanny Valley》播客中，WIRED编辑团队深入探讨了Meta大规模裁员背后的员工士气危机、Elon Musk起诉OpenAI败诉的判决细节、Google I/O大会的AI野心，以及AI在社会中引发的日益强烈的反感情绪。 ## Meta：利润新高，士气新低 尽管Meta近期财报显示利润创纪录，但团队采访了十多名员工后发现，公司内部弥漫着前所未有的低落情绪。裁员并非唯一原因——频繁的战略转向、对元宇宙的持续投入与回报不成正比，以及管理层沟通不畅，都让员工感到疲惫与不安。一位员工形容，现在的Meta“就像一个没有灵魂的机器”。 ## Elon Musk败诉OpenAI 法庭驳回了Musk对OpenAI及其CEO Sam Altman的诉讼，裁定其主张缺乏依据。这一结果被视为AI行业开源与闭源路线之争的一个重要节点，也意味着Musk试图通过法律手段干预OpenAI治理的努力暂时受挫。 ## Google I/O 2026：搜索的“智能体化” 在Google I/O大会上，公司展示了雄心勃勃的AI愿景：**Gemini模型**全面融入搜索、智能眼镜等产品，搜索将不再只是返回链接，而是直接完成任务。团队讨论了这一转变对用户隐私、信息获取方式以及广告模式的潜在影响。 ## 当AI成为众矢之的 节目最后探讨了一个有趣的现象：**应届毕业生和AI从业者的配偶**都在对AI感到厌倦。毕业生在毕业典礼上听到AI演讲时发出嘘声，而妻子们则抱怨丈夫满口AI术语、忽略了家庭生活。这反映了AI热潮在公众中引发的疲劳与怀疑。 **小结：** 这一期内容丰富，从企业内部危机到技术变革，再到社会情绪，勾勒出AI时代的多面图景。
人工智能领域的两位关键人物——埃隆·马斯克与萨姆·奥特曼，即将在法庭上正面交锋。这场备受瞩目的审判将于 4 月 27 日开始陪审团遴选，预计持续至 5 月 21 日，其结果可能深刻改变顶尖 AI 初创公司 OpenAI 的未来走向。 ## 案件核心：理念之争还是商业竞争？ 马斯克于 2024 年提起诉讼，指控 OpenAI 及其 CEO 奥特曼、联合创始人格雷格·布罗克曼背弃了公司创立时的初心——开发造福全人类的人工智能，转而将重心放在追求利润上。作为 OpenAI 的联合创始人之一，马斯克声称自己被诱导提供了资金支持，而奥特曼等人却在获得资源后偏离了原定目标。 OpenAI 方面则对此予以坚决否认，称该诉讼“毫无根据，是出于嫉妒而试图阻碍竞争对手的拙劣手段”，旨在为马斯克旗下 xAI 公司的 Grok 聊天机器人争取市场空间。马斯克在诉状中要求法院罢免奥特曼和布罗克曼的职务，并禁止 OpenAI 继续以公益性公司（Public Benefit Corporation）形式运营。此外，若胜诉，他还主张 OpenAI 的非营利实体应获得高达 **1500 亿美元** 的损害赔偿。 ## 庭审现场直击：火药味渐浓 据现场记者报道，庭审首日聚焦于陪审团遴选。奥特曼已现身法庭，但马斯克尚未露面。在首批 20 名候选陪审员中，有 5 人明确表达了对马斯克的不满，但其中 4 人表示仍能保持公正。多数候选人对 AI 工具有所了解，态度各异。法官伊冯·冈萨雷斯·罗杰斯已向双方律师及候选陪审员介绍了案件基本情况，本案最终将选出 **9 名陪审员** 参与裁决。 ## 行业影响：一场决定 AI 治理方向的审判 此案不仅是两位科技巨头之间的个人恩怨，更触及 AI 行业的核心治理问题：非营利组织能否在商业化浪潮中坚守公益初心？OpenAI 从非营利实验室转型为“有限盈利”公司的历程，一直是业界争论的焦点。马斯克的诉讼实质上是在挑战这种转型的合法性，若其主张获得法院支持，可能迫使 OpenAI 重回非营利轨道，甚至影响整个 AI 领域的商业模式创新。 与此同时，马斯克自身的商业版图与 OpenAI 存在直接竞争：xAI 推出的 Grok 模型正与 ChatGPT 争夺用户。因此，这场诉讼也被视为一场 **“代理人战争”** ，其结果将影响全球 AI 市场的竞争格局。 ## 未来展望：审判只是开始 即便陪审团作出裁决，预计败诉方仍会提起上诉，法律拉锯战可能持续数年。但无论结果如何，此案已向科技界发出明确信号：AI 公司的治理结构、使命宣言与实际商业行为之间的落差，将面临越来越严格的公众审视与法律挑战。对于 OpenAI 而言，即便挺过这场官司，如何平衡公益使命与商业可持续性，仍将是长期课题。 接下来数周，法庭将陆续传唤关键证人，包括奥特曼、布罗克曼，甚至可能包括马斯克本人。我们拭目以待。