AI 热点日报（2026-07-13）

模型发布/更新

1. 腾讯混元发布 Hy3 模型：295B 参数 MoE 架构，Agent 向 LLM 定位，已集成微信服务 10 亿+用户

腾讯混元团队发布 Hy3 模型，采用 295B 总参数、21B 激活参数的 MoE 架构，推理效率可打平参数规模 2-5 倍的旗舰模型。Hy3 定位为 Agent 向 LLM，从 preview 到正式版基于 50 多个真实业务反馈迭代，内部 WorkBuddy 任务成功率从 72% 提升至 90%，耗时降低 34%，幻觉和常识错误持续下降。实测显示其在 coding、办公、复杂任务规划方面表现突出，纯视觉能力为短板。Hy3 已集成至微信服务 10 亿+用户，视频演示包括生成 HTML 网页、Agent 网页和 10 页 PPT，模型具备自检和主动说明不足的能力。
来源： X：阿易 AI Notes (@AYi_AInotes)

产品发布/更新

1. Mesh LLM：在 iroh 上进行分布式人工智能计算

Mesh LLM 是一个开源项目，能将用户多台机器上的 GPU 和内存池化，对外暴露兼容 OpenAI 的 API。它通过 iroh 网络库实现点对点连接，无需中央服务器。请求可在本地 GPU 运行、路由到已加载模型的节点，或将大模型按层分区（内部称“Skippy”）流水线式拆分到多台机器。系统内置 40 多个模型，从 5 亿参数到 235B MoE 巨模型均可支持。软件体积约 18 MB，启动后以 localhost:9337/v1 提供服务。
来源： Hacker News 热门（buzzing.cc 中文翻译）

2. Codex 与 ChatGPT Work 多项更新：取消 5 小时限制

早上好。过去 48 小时里，Codex 和 ChatGPT Work 非常忙碌！三项重要更新： - 暂时取消所有 Plus、Business 和 Pro 计划的 5 小时使用限制 - 正在推出变更，使 GPT 5.6 Sol 整体更高效，这将体现在使用量减少上，从而让你能走得更远。具体影响待量化后公布 - 我们已达到 600 万活跃用户，并将在接下来一小时内进行使用量重置 去创造吧。
来源： X：Tibo (@thsottiaux)

3. Mindwalk：在代码库 3D 地图上回放编码代理会话

Mindwalk 是一款可视化工具，可将 Claude Code 和 Codex 的会话日志在代码库的 3D 地图上回放。它将仓库绘制成夜间地图，代理搜索、读取和编辑过的文件会发光，未触及区域保持黑暗，让用户一眼看清代理对任务的理解范围。单个 Go 二进制文件即可运行，所有会话数据完全本地处理，不会离开机器。支持树状图/地形图两种视图，文件触达状态分为未访问、已查看、已读取、已编辑四种颜色标记。播放界面包含错误率、文件修改量等摩擦信号面板，以及上下文压缩、子代理启动、用户交互等时间轴标记。支持键盘快捷键控制播放速度、跳转编辑点或错误点。
来源： Hacker News 热门（buzzing.cc 中文翻译）

行业动态

1. 苹果起诉 OpenAI 挖角窃密，分析师称即使指控未证实也可能重创其硬件计划

苹果在美国起诉 OpenAI，指控其挖角 400 名员工、窃取工程机和机密文件。分析师 Paolo Pescatore 认为，即使指控最终无法证实，OpenAI 的硬件计划仍可能受拖累，双方本就脆弱的合作关系将进一步削弱。斯坦福大学教授 Mark Lemley 指出，若前苹果员工确实带走机密文件并在 OpenAI 使用，问题将变得严重。该案涉及消费级硬件产品，预计未来将有更多信息曝光。
来源： IT 之家（RSS）

论文研究

1. OpenAI GPT-5.6 Sol Ultra 一小时证明 50 年图论猜想

OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内生成了图论难题“循环双覆盖猜想”的完整证明。该猜想由数学家 George Szekeres 和 Paul Seymour 于 1970 年代提出，悬而未决超过 50 年。模型通过调用 64 个并行子智能体及对抗智能体，在预留的 8 小时计算时间内仅用约 1 小时完成证明。OpenAI 已将证明及提示词以 PDF 形式发布。该证明尚未经同行评审，也未使用 Lean 等形式化工具验证。若通过验证，这将是 LLM 首次独立解决维基百科“未解决数学问题”列表中的难题。
来源： IT 之家（RSS）

技巧与观点

1. 纳德拉提出“反向信息悖论”：企业使用 AI 时需保护自身知识

微软 CEO 萨提亚·纳德拉提出“反向信息悖论”：AI 时代，买家为使用 AI 支付金钱，同时必须暴露专有知识（提示词、工具使用、纠正反馈等），这些“智力废气”被模型学习，导致信息不对称向卖家倾斜。企业需要真正的信任边界，确保自身数据、痕迹、评估、适配权重和记忆在边界内积累，未经同意不得外泄。纳德拉呼吁企业拥有私有评估、保留组织记忆所有权，并主张企业应有权使用模型输出微调或训练自有模型，以控制自身学习循环。
来源： X：Satya Nadella (@satyanadella)

2. Tibo 分享通过 CLIProxyAPI 将 Claude Code 后端模型切换为 GPT-5.6 Sol 的方法

用户 Tibo 分享了一种通过 CLIProxyAPI 将 Claude Code 后端模型切换为 GPT-5.6 Sol 的方法。只需三步：安装 CLIProxyAPI、连接认证、设置环境变量别名 claudex。该别名配置了子智能体模型、始终启用 Effort、最大并发工具调用数等参数。引用推文作者 Theo 补充，若已配置好代理，仅需约 2 条提示词即可完成设置。Tibo 称整个过程约 5 分钟，若被封锁可重置。
来源： X：Tibo (@thsottiaux)

3. xAI Grok Build CLI 网络流量分析：上传仓库全部文件及 git 历史

对 xAI 官方 Grok Build 编码 CLI（grok 0.2.93）的网络流量分析显示，该工具在消费者登录后会向 xAI 发送三类数据：一是它读取的文件内容（包括 .env 密钥文件）以明文形式通过 POST /v1/responses 传输，并同时打包成 session_state 存档通过 POST /v1/storage 上传并获 HTTP 200 确认；二是整个仓库的全部文件内容及 git 历史，独立于 AI 智能体实际读取的文件——即使提示“不要读取任何文件”，Grok 仍将整个仓库作为 git bundle 上传至 Google Cloud Storage 的 grok-code-session-traces …
来源： Hacker News 热门（buzzing.cc 中文翻译）

4. OpenAI CEO Altman 改口称 AI 净创造就业，Anthropic CEO 也修正早期言论

OpenAI CEO Sam Altman 表示，他“相当确信”AI 迄今为止净创造了就业，并承认“这并非我预期”。此前他曾警告 AI 影响可能快得“有点吓人”。Anthropic CEO Dario Amodei 也修正了早期言论，将自动化描述为生产力倍增器而非岗位杀手。然而，多项研究未发现 AI 对整体生产力或劳动力市场产生显著影响。一项多校联合研究指出，程序员和文案的就业危机始于 2022 年初，早于 ChatGPT 发布。耶鲁预算实验室也未发现与 AI 相关的就业市场变化。
来源： The Decoder：AI News（RSS）

5. 开源模型面临未来 6 个月的生存考验

美国白宫正讨论通过新行政令管理开源模型，最可能在未来 6 个月内禁止或无限期延迟能力接近 GPT 5.5、Claude Opus 4.8 或 GLM-5.2 水平的开源权重模型发布。Anthropic 主导的反中国模型政治运动以知识蒸馏为由推动监管，实质是监管捕获。Reflection AI 代表在相关会议上主张开源模型应基于能力获得豁免，但该公司尚未发布公开模型。
来源： Nathan Lambert：Interconnects（RSS）