🤖 AI 日报 · 2026-07-13

腾讯混元发布Hy3模型295B MoE服务10亿+微信用户；GPT-5.6 Sol Ultra一小时证明50年图论难题；苹果诉OpenAI挖角400名员工或重创其硬件计划；Codex与ChatGPT Work取消5小时限制；纳德拉提出反向信息悖论；Mesh LLM分布式AI计算；xAI Grok Build传全部文件引隐私担忧；OpenAI Altman改口称AI净创造就业；开源模型面临未来6个月生存考验；Mindwalk可视化代码回放工具。

1. 1. 腾讯混元发布Hy3模型：295B MoE服务10亿+用户

   腾讯混元发布Hy3模型，295B总参数21B激活的MoE架构，推理效率可打平2-5倍参数规模旗舰模型。定位为Agent向LLM，已集成微信服务10亿+用户。

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

   OpenAI宣布GPT-5.6 Sol Ultra在不到一小时内生成循环双覆盖猜想的完整证明。该图论难题由数学家Szekeres和Seymour于50年前提出。

3. 3. Apple诉OpenAI挖角400名员工或重创硬件计划

   苹果起诉OpenAI挖角400名员工、窃取工程机和机密文件。分析师称即使指控未证实，OpenAI硬件计划仍可能受拖累，双方合作将恶化。

4. 4. Codex与ChatGPT Work取消5小时使用限制

   OpenAI暂时取消所有Plus、Business和Pro计划的5小时使用限制，并正在推出使GPT-5.6 Sol在Work中可用的变更。

5. 5. 纳德拉提出反向信息悖论

   微软CEO纳德拉指出AI时代企业为使用AI需暴露专有知识，这些智力废气被模型学习导致信息不对称向卖家倾斜。企业需要真正的数据保护。

6. 6. Mesh LLM：分布式AI计算开源项目

   Mesh LLM可将多台机器GPU和内存池化，对外暴露兼容OpenAI的API。通过iroh网络库实现点对点连接，无需中央服务器，请求可在本地GPU运行。

7. 7. xAI Grok Build上传全部文件引隐私担忧

   对Grok Build编码CLI的网络流量分析显示，该工具向xAI明文发送读取的文件内容（包括.env密钥）、全部git历史和仓库描述等敏感信息。

8. 8. OpenAI Altman改口称AI净创造就业

   OpenAI CEO Sam Altman表示相当确信AI迄今为止净创造了就业，承认这并非他预期。此前他曾警告AI影响可能快得有点吓人。Anthropic CEO也修正了早期言论。

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

   美国白宫讨论通过新行政令管理开源模型，可能在未来6个月内禁止或限制能力接近GPT-5.5等前沿水平的开源权重模型发布。

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

    Mindwalk将Claude Code和Codex的会话日志在代码库3D地图上回放。仓库绘制成夜间地图，代理搜索、读取和编辑过的文件发光，未触及区域保持黑暗。