Horizon 每日速递 - 2026-07-18

从 67 条内容中筛选出 15 条重要资讯。
  1. 伊朗袭击约旦致两名美军死亡 ⭐️ 10.0/10
  2. GPT-5.6 解决凸优化领域 30 年猜想 ⭐️ 8.0/10
  3. Kimi K3：中国 AI 模型以低成本达到前沿水平 ⭐️ 8.0/10
  4. LG 显示器通过 Windows Update 静默安装软件 ⭐️ 8.0/10
  5. 《半秒》一书详述 2024 年 XZ 后门攻击事件 ⭐️ 8.0/10
  6. AI 算力定价从 GPU 数量转向 Token 成本 ⭐️ 8.0/10
  7. 文章指出社区需要积极参与 ⭐️ 7.0/10
  8. 印奇在 WAIC 2026：智能体进入物理世界 ⭐️ 7.0/10
  9. 中国建成 12 万个高质量数据集助力 AI ⭐️ 7.0/10
  10. 三大区域外贸上半年创历史新高 ⭐️ 7.0/10
  11. 锂电池消费税调整助推中国电动汽车产业 ⭐️ 7.0/10
  12. 屈臣氏集团考虑推迟伦敦 IPO 至明年 ⭐️ 7.0/10
  13. Anthropic 逆转决定，永久保留 Claude Fable 5 ⭐️ 7.0/10
  14. 猴子价格飙升，昭衍新药净利润暴涨超 1300% ⭐️ 7.0/10
  15. Uber 148 亿美元收购：防御中式算法对手 ⭐️ 7.0/10

伊朗袭击约旦致两名美军死亡 ⭐️ 10.0/10

上周五，伊朗对约旦境内的美军及伙伴部队发动弹道导弹和无人机袭击，导致两名美军士兵死亡，一人失踪。 此次直接针对美军的袭击造成人员伤亡，可能加剧美伊紧张关系，甚至引发中东地区更广泛的军事冲突。 袭击使用了弹道导弹和无人机，发生在约旦一处美军及伙伴部队驻扎的基地。一名美军士兵仍下落不明。

rss · Defense News · 7月19日 02:00

背景: 伊朗此前常通过代理人势力攻击美国利益，但直接攻击美军较为罕见。约旦境内驻有美军，参与打击伊斯兰国行动及地区安全合作。

标签: #geopolitics, #military, #Iran, #US, #Jordan

GPT-5.6 解决凸优化领域 30 年猜想 ⭐️ 8.0/10

GPT-5.6 通过精心设计的提示词，解决了一个存在 30 年的凸优化开放问题，为关于球形域上凸 Lipschitz 函数优化复杂度的猜想提供了证明。 这标志着 AI 辅助数学研究的重要里程碑，表明大型语言模型能够为非平凡的理论进展做出贡献。它可能加速优化理论的发展，并激发解决长期问题的新方法。 该问题涉及证明凸 Lipschitz 函数优化时间复杂度的上界，这是凸优化的一个基本问题。该解决方案由 GPT-5.6 的 Sol Pro 版本（而非 Ultra 版本）完成，突显了较不先进模型的能力。

hackernews · mbustamanter · 7月18日 21:00 · 社区讨论

背景: 凸优化是数学的一个分支，专注于最小化具有唯一全局最小值的凸函数。这个存在 30 年的猜想涉及为凸 Lipschitz 函数找到近似解所需的迭代次数，这是一个关键的复杂度度量。先前的工作已经建立了下界，但上界一直悬而未决。

社区讨论: 社区表达了谨慎的乐观态度，评论者指出这一结果是真实但小众的贡献。一些人强调 AI 可能处理低垂的果实，使研究人员能够专注于更新颖的问题。还有关于 Sol Pro 和 Ultra 之间差异的讨论，以及数学逻辑中暴力破解方法的潜力。

标签: #AI, #mathematics, #optimization, #machine learning

Kimi K3：中国 AI 模型以低成本达到前沿水平 ⭐️ 8.0/10

中国 AI 模型 Kimi K3 以远低于美国领先模型的成本实现了前沿性能，挑战了美国 AI 实验室，并引发了关于国家安全和开放权重访问的辩论。 这一发展标志着 AI 竞争的转变，可能使强大模型的获取民主化，同时引发对美国技术领先地位和开放权重模型安全风险的担忧。 据报道，该模型是通过从前沿模型蒸馏实现的，一些用户报告称其使用的计算时间比同类美国模型更长，表明在效率上存在权衡。

hackernews · sbochins · 7月19日 01:32 · 社区讨论

背景: 蒸馏是一种让较小模型从更大、更强大的模型中学习的技术，从而以低成本复制能力。开放权重模型允许任何人下载和运行，引发了双重用途的担忧。

社区讨论: 评论者就 Kimi K3 的性能是否真正具有竞争力展开辩论，一些人指出它消耗的资源比 OpenAI 的模型更多。其他人则认为这是蒸馏的必然结果，还有一些人对政府可能监管开放权重模型表示担忧。

标签: #AI, #geopolitics, #distillation, #open-source, #competition

LG 显示器通过 Windows Update 静默安装软件 ⭐️ 8.0/10

发现 LG 显示器通过 Windows Update 在用户未同意的情况下静默安装软件，插入 LG 显示器的 HDMI 接口即可触发。 这引发了严重的安全和隐私问题，因为该软件具有完全系统访问权限、开机自启，且无需用户交互即可安装，可能影响数百万用户。 一旦用户通过 HDMI 插入 LG 显示器，即使之前已连接过，软件也会立即安装。该软件具有网络访问权限、无沙箱隔离，且每次开机运行。

hackernews · baranul · 7月18日 18:21 · 社区讨论

背景: Windows Update 可以推送硬件厂商的驱动和软件更新。微软的政策允许厂商提交软件，在设备连接时自动安装，这可能被滥用来推送不需要的应用程序。

社区讨论: 评论者表示愤怒，称此行为类似恶意软件。他们提供了通过组策略或设备安装设置阻止自动下载的解决方法。一些人认为责任在于微软的驱动程序同意模型。

标签: #security, #Windows Update, #LG, #privacy, #technology

《半秒》一书详述 2024 年 XZ 后门攻击事件 ⭐️ 8.0/10

这本书全面记述了一次对开源安全产生广泛影响的关键供应链攻击，有助于社区理解攻击机制并预防未来事件。 该书以非商业性、禁止演绎的 Creative Commons 许可证免费提供，并指出攻击者可能永远无法被确认。

rss · LWN.net · 7月19日 00:52

背景: XZ 后门是 2024 年发现的一次复杂供应链攻击，恶意行为者通过社会工程手段操纵一名志愿维护者，从而控制了 XZ Utils 项目。该攻击仅因一名工程师半秒的好奇心而偶然被发现。这一事件凸显了开源软件维护中的脆弱性以及社区警惕的重要性。

标签: #cybersecurity, #open source, #supply chain attack, #XZ backdoor

AI 算力定价从 GPU 数量转向 Token 成本 ⭐️ 8.0/10

在 2026 年世界人工智能大会上，客户提问从关注 GPU 数量转向 Token 成本和延迟，标志着 AI 算力估值和采购方式的根本转变。 从以硬件为中心转向以 Token 成本为指标，表明 AI 算力正从资本支出转向运营支出，这将重塑行业估值、商业模式和竞争格局。 这一变化反映了更广泛的趋势：需求从训练转向推理，竞争从产能规模转向成本效率，估值指标从芯片数量转向单位 Token 经济性。

rss · 钛媒体 · 7月18日 15:32

背景: 历史上，AI 算力主要由训练大型模型主导，GPU 数量是关键指标。随着 AI 转向广泛推理部署，每个 Token（输出的基本单位）的成本对运营决策更为重要。

标签: #AI, #computing, #economics, #industry trends

文章指出社区需要积极参与 ⭐️ 7.0/10

一篇题为《如果你建造它，他们就会来》的文章认为，充满活力的社区需要积极的创造和参与，而不是被动消费，引发了关于草根社会机构衰落的讨论。 这很重要，因为它指出了现代社会社交疏离的一个根本原因，敦促个人承担起建设社区的责任，而不是等待他人去做。 文章和评论强调了在传承社区建设习惯方面的代际鸿沟，年轻一代往往对社会场景采取消费者心态。

hackernews · barry-cotter · 7月18日 23:37 · 社区讨论

背景: 像狮子会这样的草根社会机构和社区舞会曾经在美国很普遍，但已经衰落。文章认为，现在许多人期望社交场景自动出现，就像野生蓝莓一样，而不是通过努力建立。

社区讨论: 评论者反思个人经历，指出成为“社交纽带”的脆弱性以及传承传统的困难。一些人对被动态度表示沮丧，而另一些人则强调为了热爱而建设。

标签: #community, #society, #culture, #essay

印奇在 WAIC 2026：智能体进入物理世界 ⭐️ 7.0/10

在 2026 年世界人工智能大会上，阶跃星辰董事长印奇发表主题演讲《当智能体进入物理世界》，指出 2026 年模型能力正在跨越关键临界点，AI 已能独立工作数十小时。 这标志着 AI 从数字工具向物理世界智能体的重大转变，推动系统、载体和网络的结构性变革，可能重新定义生产力与人机协作。 印奇提出三大结构性变革：Agentic OS 作为新系统层、终端的人机共生、以及 A2A 网络实现智能体间协作。他还强调了身份、责任和可追溯性等治理需求。

rss · 36氪 - 最新资讯 · 7月18日 08:53

背景: WAIC（世界人工智能大会）是全球顶级 AI 盛会。印奇是中国知名 AI 企业家，曾创立旷视科技，现领导阶跃星辰和千里科技。智能体是能自主感知、决策和行动的软件实体，进入物理世界需要与机器人、汽车等硬件集成。

标签: #AI, #WAIC, #AI agents, #technology, #AGI

中国建成 12 万个高质量数据集助力 AI ⭐️ 7.0/10

国家数据局宣布，截至 2026 年 6 月，全国已建成 12 万个高质量数据集，总体量超 1565 拍字节（PB），较一季度末增长超 60%，为人工智能发展提供支撑。 这一大规模数据基础设施投资表明中国正战略性地推动 AI 主导地位，通过确保充足的高质量训练数据，可能加速医疗、制造等关键领域的 AI 突破。 这些数据集涵盖科学研究、工业制造、医疗卫生、教育教学等领域，体量相当于中国国家图书馆数字资源总量的 547 倍。此外，七个数据标注先行先试城市已标注超 119PB 数据，标注从业人员达 14 万人。

rss · 36氪 - 最新资讯 · 7月18日 16:00

背景: 高质量数据集对于训练先进 AI 模型至关重要，直接影响模型的准确性和可靠性。中国一直在大力投资数据基础设施，以减少对外国数据集的依赖，并促进国内 AI 创新。

标签: #China, #AI, #data infrastructure, #policy

三大区域外贸上半年创历史新高 ⭐️ 7.0/10

2026 年上半年，京津冀、黄河流域和东北地区外贸进出口额均创历史同期新高，同比分别增长 16.2%、14.7%和 8.6%。 这些新高表明中国区域外贸表现强劲、韧性十足，有助于国家经济稳定，并为区域发展战略提供参考。 京津冀进出口 2.58 万亿元，占全国 10.1%；黄河流域 3.6 万亿元；东北地区 6563 亿元，其中机电产品和农产品出口分别增长 18%和 12.9%。

rss · 36氪 - 最新资讯 · 7月18日 15:30

背景: 中国外贸数据是经济健康的重要指标。区域细分有助于评估京津冀协同发展、黄河流域生态保护等政策的成效。

标签: #China economy, #foreign trade, #regional development, #economic indicators

锂电池消费税调整助推中国电动汽车产业 ⭐️ 7.0/10

乘联分会秘书长崔东树表示，锂电池消费税的调整有力助推整车企业自造电池，有利于中国汽车产业做大做强。他认为这标志着“油电同权”正式拉开序幕，新能源汽车税收优惠正在分阶段退出。 这一政策转变标志着新能源汽车税收保护期的结束，迈向基于排放和使用场景的公平税制。它将影响整车企业、电池制造商以及传统燃油车与电动车之间的竞争格局。 调整包括恢复锂电池消费税，而此前新能源汽车享受购置税减半和车船税免征。崔东树指出，插混、增程式及新能源商用车虽有排放并使用道路，却享受免税红利，形成了漏洞。

rss · 36氪 - 最新资讯 · 7月18日 14:30

背景: 中国长期以来通过购置税减免和车船税免征等税收优惠推广新能源汽车。随着新能源汽车市场成熟，政府正逐步退出这些优惠，以实现“油电同权”——即所有车辆根据自身特性公平纳税的税制。锂电池消费税调整是这一分阶段过渡的一部分。

标签: #China, #auto industry, #tax policy, #new energy vehicles, #lithium battery

屈臣氏集团考虑推迟伦敦 IPO 至明年 ⭐️ 7.0/10

据知情人士透露，屈臣氏集团正考虑将原定的伦敦 IPO 计划推迟至明年。该集团原计划今年秋季在伦敦和香港两地同步上市。 此次推迟可能影响香港和伦敦资本市场，因为该 IPO 原计划募资约 20 亿美元，估值约 300 亿美元。同时，这也影响了淡马锡对其 2014 年购入的约 25%股权的退出计划。 屈臣氏还计划出售至少一项旗下资产。IPO 推迟的原因包括市场环境不确定和监管考量。

rss · 36氪 - 最新资讯 · 7月18日 14:15

背景: 屈臣氏集团是一家大型国际健康美容零售商，在全球运营超过 16,000 家门店。新加坡国有投资公司淡马锡于 2014 年以约 57 亿美元收购了屈臣氏 25%的股权。此次 IPO 被视为淡马锡变现其投资的途径。

标签: #finance, #IPO, #retail, #Hong Kong, #London

Anthropic 逆转决定，永久保留 Claude Fable 5 ⭐️ 7.0/10

Anthropic 宣布自 2026 年 7 月 20 日起，Claude Fable 5 将以 50% 的使用额度包含在所有 Max 和 Team Premium 订阅计划中，逆转了此前将模型从订阅中移除的计划。 这一政策逆转凸显了 AI 行业的激烈竞争压力，Anthropic 为应对 GPT-5.6 Sol 和 Kimi 3 等竞品模型而留住订阅用户。它确保了高付费用户无需额外 API 费用即可继续使用 Anthropic 的最佳模型。 Pro 和 Team Standard 用户仍可通过使用额度访问 Fable 5，并获得一次性 100 美元额度，但每月 20 美元的计划仍不包含 Fable 5。最初的移除计划源于计算容量担忧，而逆转可能要求 Anthropic 将 GPU 资源从训练重新分配到服务。

rss · Simon Willison · 7月18日 14:00

背景: Anthropic 此前曾计划将 Claude Fable 5 从订阅计划中移除，仅通过 API 定价提供，理由是计算资源限制。这一举措遭到用户反对，他们认为订阅应包含最佳模型。GPT-5.6 Sol 和 Kimi 3 等竞品提供了强大替代方案，迫使 Anthropic 重新考虑。

社区讨论: 社区对避免“Fable 末日”感到宽慰，许多人称赞 Anthropic 听取了用户反馈。一些人指出 Max 计划 50% 的额度限制可能仍有约束，并质疑逆转是否会影响模型训练进度。

标签: #AI, #Anthropic, #Claude, #subscription, #competition

猴子价格飙升，昭衍新药净利润暴涨超 1300% ⭐️ 7.0/10

中国合同研究组织昭衍新药报告净利润暴涨超 1300%，原因是药物测试用猴需求旺盛，每只猴子售价高达 20 万元。 这凸显了非人灵长类动物在药物研发中的关键作用以及供应限制的财务影响，进而影响全球药物开发成本和周期。 利润暴涨归因于食蟹猴的稀缺性（食蟹猴是临床前药物测试的关键），以及昭衍在猴子繁殖设施上的战略投资。

rss · 钛媒体 · 7月18日 15:54

背景: 像昭衍这样的合同研究组织（CRO）为制药公司提供外包研究服务。非人灵长类动物，尤其是食蟹猴，因其与人类基因相似性而在药物安全性测试中需求旺盛。中国面临这些猴子的短缺，推高了价格，使拥有圈养繁殖业务的公司受益。

标签: #finance, #pharmaceuticals, #biotech, #China

Uber 148 亿美元收购：防御中式算法对手 ⭐️ 7.0/10

Uber 以 148 亿美元进行的收购被解读为一项战略举措，旨在抵御来自美团等中国算法对手在全球外卖市场的竞争。 此次收购凸显了全球科技竞争的升级，外卖平台成为算法优势和市场主导权的战场。 文章比喻性地将此次收购描述为建造一道抵御中式算法力量的“马奇诺防线”，强调了交易的防御性质。

rss · 钛媒体 · 7月18日 15:54

背景: Uber 和美团是全球外卖行业的主要参与者，美团凭借先进算法和强大的中国国内市场基础。此次收购被视为 Uber 巩固地位、抵御中国科技公司海外扩张的尝试。

标签: #Uber, #Meituan, #food delivery, #business strategy, #geopolitics