科技日报 — 2026-07-21 | 世傲命的技术观测站

自动汇总，数据来源：AIHOT / HN / PH / GitHub Trending

🔥 今日头条

1. Claude Fable 5 被曝发现雅可比猜想反例，数学界震动

一句话：Claude Fable 5 在数学研究中产出了雅可比猜想（Jacobian Conjecture）的一个反例，引发 HN 社区 600+ 点热议和 400+ 评论。
为什么重要：这是 AI 首次在公开的重大数学猜想上给出实质性贡献，可能改写 AI 在数学研究中的角色定位。
来源：Hacker News（663 pts，全天最高）

2. 苹果起诉 OpenAI 窃密案扩大：40名前员工收到律师函

一句话：苹果向约 40 名在 OpenAI 任职的前员工发出律师函要求保存文件，诉状称已有超 400 名前员工在 OpenAI 工作，指控系统性挖角与商业机密窃取。
为什么重要：这可能是 AI 消费硬件赛道第一起重大商业秘密诉讼，影响苹果与 OpenAI 之间的竞合关系。
来源：AIHOT / IT之家 / TechCrunch

3. 中国开放权重 AI 策略正在胜利——HN 史上最高分讨论之一

一句话：HN 上 “China’s open-weights AI strategy is winning” 一文获 972 分、775 条评论，成为当日 HN 最高热度文章，讨论中国开源模型如何威胁美国封闭 AI 格局。
为什么重要：Kimi K3、Qwen 3.8 等中国模型的崛起引发硅谷深度反思，HN 社区激烈辩论开源 vs 闭源路线。
来源：Hacker News（972 pts）

4. 月之暗面 GTC 2026 披露 Kimi K2.5 技术路线：三大基础组件全面重构

一句话：杨植麟在 GTC 2026 上披露用 MuonClip 优化器替代 Adam、Kimi Linear 线性注意力（百万 Token 下超越全注意力）、Agent Swarm 支持 300 Agent 并行，且全部开源。
为什么重要：这不是小修小补，而是训练范式的替代路线——把 Adam、全注意力和残差连接全换了，对模型训练团队是重要参考。
来源：AIHOT / 宝玉

5. 八天四款前沿模型密集发布，AI 竞争格局剧变

一句话：过去八天内 Grok 4.5、GPT-5.6、Muse Spark 1.1 与 Kimi K3 相继发布，Frontier 实验室从 2 家增至 6 家，前三名分差仅 3 分，且价格暴跌。
为什么重要：模型选型逻辑从「谁第一」变成「够用且便宜」，对产品经理来说是真正的转折点。
来源：AIHOT / Artificial Analysis

🤖 AI 进展

1. Kimi K3 登顶前端编码榜，2.8 万亿参数 MoE 开放权重

Kimi K3 在 Frontend Code Arena 以 1679 分登顶，力压 Claude Fable 5 与 GPT-5.6 Sol，7 个前端细分赛道拿下 6 个第一，7 月 27 日开放权重；API 定价输入 $15/M tokens，放弃低价路线。

2. Cursor 确认 Claude Fable 5 在 CursorBench 达 72.9% 新高

Cursor 评估负责人 Nate Schmidt 确认 Claude Fable 5 在内部基准 CursorBench 上以 Max effort 模式达 72.9% 新高，在航天模拟器中仅凭一句提示自主规划并成功登月。

3. 通义 Wan-Streamer v0.2：端到端延迟仅 550ms

通义实验室发布 Wan-Streamer v0.2，将听、看、说、演统一进单个 Transformer，端到端响应延迟 550ms，分辨率提升至 640×368 @ 25FPS。

4. NVIDIA Nemotron 3 Embed 发布，8B 版 RTEB 排名第一

NVIDIA 发布 Nemotron 3 Embed 系列，8B-BF16 在 RTEB 基准以 78.46 NDCG@10 排名第一，1B-NVFP4 在 Blackwell 上吞吐量比 BF16 高 2 倍。

5. Schema Harness 在 ARC-AGI-3 公开集上达 99%

Schema 框架使用 Claude Opus 4.8 和 Fable 5 在 ARC-AGI-3 达到 99% RHAE，GPT-5.6 Sol 达 95.35%，不修改权重而是将观测转化为可编辑程序。

6. 美团 LongCat 发布 LoHoSearch：更难搜索 Agent 基准

基于 762 万实体维基知识图谱自动生成的搜索 Agent 基准，前沿模型最佳仅 34.74%，远低于 BrowseComp 约 90% 的饱和度。

💬 社区热议

1. HN: “Human mathematicians are being outcounterexampled”

人类数学家正在被 AI「反例反超」——数学家们发现 AI 能以前所未有的速度产出数学反例，引发 194 分讨论。

2. HN: “American AI is locked down and proprietary — it’s losing”

972 分+775 评论的超热帖，核心论点：美国 AI 封闭且专有，正在输给中国的开放权重策略。

3. HN: “Who’s afraid of Chinese models?”

Stratechery 深度分析中国模型崛起对全球 AI 格局的影响，227 分讨论。

4. AIHOT: Apple 诉 OpenAI 动机分析

专家认为 Apple 此举是 Siri AI 发布前的主动出击，意在用法律手段拖慢最强对手。

📊 一句话快讯

OpenAI 提出「有用智能每美元」（Useful Intelligence per Dollar）作为衡量 AI 投资回报的核心指标。
Cursor PreWalk 新思路：只需 Frontier 模型做一次编辑，其余用轻量模型。
Jellyfin 创始人 Andrew 离开团队。
Hyprland 0.55 宣布切换到 Lua 作为配置文件语言。
罗马尼亚土地注册数据库 被黑客完全清除，HN 566 分。
Stratechery: 中国模型不再害怕——Kimi K3 API 定 $15/M tokens，首次不以低价取胜。
SemiAnalysis 深度分析 Kimi K3 vs Anthropic 的竞争态势，281 分。

🆕 新发现的信息源

名称	URL	简介	特色
AI HOT	https://aihot.virxact.com	中文 AI 行业动态聚合平台，LLM 摘要+打分精选，每日 AI 日报	有公开 API、RSS，覆盖 X/公众号/博客，含推荐理由
Emerging Trajectories	https://www.emergingtrajectories.com	前沿实验室经济学分析博客	深度分析 AI 公司的商业和竞争格局

科技日报 — 2026-07-21