AI日报 | 2026年07月14日

每日 AI 资讯速递

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

OpenAI宣布其GPT-5.6 Sol Ultra模型在不到一小时内生成了图论难题"循环双覆盖猜想"的完整证明。该猜想由数学家George Szekeres和Paul Seymour于1970年代提出，模型通过调用64个并行子智能体及对抗智能体，在预留的8小时计算时间内仅用约1小时完成。OpenAI已将证明及提示词以PDF形式发布，若通过同行评审，这将是LLM首次独立解决重大数学猜想。

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

腾讯混元团队发布Hy3模型，采用295B总参数、21B激活参数的MoE架构，推理效率可打平参数规模2-5倍的旗舰模型。Hy3定位为Agent向LLM，内部WorkBuddy任务成功率从72%提升至90%，耗时降低34%。该模型已集成至微信服务10亿+用户，视频演示包括生成HTML网页、Agent网页和10页PPT，模型具备自检和主动说明不足的能力。

德国AI协会发布开源模型Soofi S，在英语和德语基准测试中领先

德国AI协会协调的研究联盟发布开源大语言模型Soofi S 30B-A3B，总参数量316亿，每个token仅激活约32亿参数，采用Mamba-2与标准注意力层混合的MoE架构。该模型完全在德国电信慕尼黑工业AI云上训练，在HumanEval上得分73.8%，MBPP得分70.2，德语版MBPP得分84.2，在所有完全开源模型中取得英语和德语综合最高分。

Seedream 5.0 Pro 测评：图像编辑门槛爆降

字节跳动发布Seedream 5.0 Pro，图像质量与提示词理解追平GPT-Image 2.0，综合能力仅次于后者。核心亮点是"可编辑"交互：用户可在图上打点、画框、涂鸦，提示词中直接@标记，实现精准局部编辑（如换沙发、改墙面颜色），其他区域不变。实测案例涵盖家装改造（一次替换六件家具）、商品图制作（键盘爆炸拆解图）、海报排版等场景，火山引擎已全量上线API。

腾讯混元发布 HyOCR-1.5：端到端 OCR 大模型全栈开源，推理提速 6.37 倍

腾讯混元发布HyOCR-1.5，这是端到端OCR大模型领域首个将训练、推理、模型权重完整开源的专家模型。仅1B参数，覆盖8种以上text-centric任务，引入DFlash投机解码框架，在Transformers下实现6.37×加速，vLLM下2.14×加速，端到端推理达每页1.408s。支持4K分辨率与128K上下文窗口，通过Agentic Data Flow扩展低资源OCR（331种语言）与古文字识别能力。

Ploy 将 AI 智能体默认模型从 Claude Opus 4.8 切换至 GPT-5.6 Sol

Ploy将其AI智能体默认模型从Claude Opus 4.8切换至OpenAI的GPT-5.6 Sol。在真实营销网站构建测试中，GPT-5.6 Sol完成页面平均耗时3分42秒，较Opus 4.8的8分钟快2.2倍；每次构建成本从3.06美元降至2.22美元，降低27%；输出token从33.0K降至17.1K，视觉评分从0.936提升至0.970。

Meta 宣布扩建路易斯安那州数据中心至 5GW，总投资超 500 亿美元

Meta将其路易斯安那州数据中心算力扩至5GW，总投资超500亿美元，为全球最大AI基础设施投资之一。Meta承诺承担全部能源及水资源费用，并另投超10亿美元改善当地道路及供水系统。此外，Meta与安特吉公司达成协议，为新建天然气发电厂、储能电池及核电增容项目提供资金支持。

黄仁勋：英伟达季度收入逼近千亿美元，Rubin Ultra 架构未延期

英伟达CEO黄仁勋在摩根士丹利路演中表示，公司季度营收即将逼近1000亿美元，且增长速度仍在加快。他否认下一代旗舰架构Rubin Ultra延期传闻，称其仍按计划于明年出货。英伟达预计本财年CPU业务收入约200亿美元，下一代Vera CPU将进军通用服务器市场。摩根士丹利维持英伟达"增持"评级，目标价288美元。

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

微软CEO萨提亚·纳德拉提出"反向信息悖论"：AI时代，买家为使用AI支付金钱，同时必须暴露专有知识（提示词、工具使用、纠正反馈等），这些"智力废气"被模型学习，导致信息不对称向卖家倾斜。纳德拉呼吁企业拥有私有评估、保留组织记忆所有权，并主张企业应有权使用模型输出微调或训练自有模型，以控制自身学习循环。

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

OpenAI CEO Sam Altman表示，他"相当确信"AI迄今为止净创造了就业，并承认"这并非我预期"。Anthropic CEO Dario Amodei也修正了早期言论，将自动化描述为生产力倍增器而非岗位杀手。然而，多项研究未发现AI对整体生产力或劳动力市场产生显著影响，一项多校联合研究指出程序员和文案的就业危机始于2022年初，早于ChatGPT发布。

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

过去48小时内，Codex和ChatGPT Work迎来三项重要更新：暂时取消所有Plus、Business和Pro计划的5小时使用限制；正在推出变更使GPT 5.6 Sol整体更高效，使用量将减少；已达到600万活跃用户，并将在接下来一小时内进行使用量重置。

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

苹果在美国起诉OpenAI，指控其挖角400名员工、窃取工程机和机密文件。分析师Paolo Pescatore认为，即使指控最终无法证实，OpenAI的硬件计划仍可能受拖累，双方本就脆弱的合作关系将进一步削弱。斯坦福大学教授Mark Lemley指出，若前苹果员工确实带走机密文件并在OpenAI使用，问题将变得严重。

彭博社揭秘苹果起诉 OpenAI 内幕：前员工一句"哈哈"成窃密关键

苹果起诉OpenAI，指控前工程师Chang Liu离职时带走未归还的MacBook、一名可分享内情的员工，并利用软件漏洞持续访问苹果内网。他发现漏洞后向同事分享"哈哈，我发现我还能访问网络存储"，后者协助其获取更多机密。苹果称OpenAI试图复制iPhone产品研发体系，目前已有超400名苹果员工跳槽至OpenAI。

xAI 官方 Grok CLI 被曝静默上传整个代码库及用户密钥

安全研究者发现，xAI官方Grok CLI（npm包`@xai-official/grok` 0.2.93版）会在每轮任务前后，将当前工作目录打包为`before_codebase.tar.gz`和`after_codebase.tar.gz`，通过独立旁路通道静默上传至xAI的Google Cloud仓库。验证显示，即使模型仅回复一个单词，上传依然发生，上传包还包含仓库外的`~/.claude.json`、Claude Code设置等敏感文件。

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

对xAI官方Grok Build编码CLI（grok 0.2.93）的网络流量分析显示，该工具在消费者登录后会向xAI发送三类数据：一是它读取的文件内容（包括.env密钥文件）以明文形式通过POST /v1/responses传输；二是整个仓库的全部文件内容及git历史，独立于AI智能体实际读取的文件。即使提示"不要读取任何文件"，Grok仍将上传。

前沿模型实际成本：tokenizer 差异导致隐性涨价

同一份TypeScript文件在GPT-5.x上为681个token，在Claude最新tokenizer下为1,178个，相差1.73倍。Anthropic新tokenizer比旧版多产生约30%的token，标价不变，构成隐性涨价。Claude Opus 4.6与Opus 4.8标价同为$5.00/$25.00，但新tokenizer使同一代码的token数增加约32%。Claude Sonnet 5的$2.00/$10标价下同样存在该问题。

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

Mindwalk是一款可视化工具，可将Claude Code和Codex的会话日志在代码库的3D地图上回放。它将仓库绘制成夜间地图，代理搜索、读取和编辑过的文件会发光，未触及区域保持黑暗。单个Go二进制文件即可运行，所有会话数据完全本地处理。支持树状图/地形图两种视图，文件触达状态分为未访问、已查看、已读取、已编辑四种颜色标记。

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

Mesh LLM是一个开源项目，能将用户多台机器上的GPU和内存池化，对外暴露兼容OpenAI的API。它通过iroh网络库实现点对点连接，无需中央服务器。请求可在本地GPU运行、路由到已加载模型的节点，或将大模型按层分区流水线式拆分到多台机器。系统内置40多个模型，从5亿参数到235B MoE巨模型均可支持，软件体积约18 MB。

OpenAI 面向普通用户发布提示词指南：从结果出发，少写步骤

OpenAI整合了一份面向普通用户的提示词指南，涵盖目标、上下文、输出格式和边界四个可选模块。指南建议以结果而非步骤开头，用一两条硬性规则替代逐步骤脚本。Chat处理快速任务，基于Codex技术和GPT-5.6模型的ChatGPT Work负责多源、多步骤的复杂项目。Codex新增Steer（重定向当前运行）、Queue（排队下一条消息）和沙盒模式，支持`/plan`、`/goal`和`/review`等斜杠命令。

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

用户Tibo分享了一种通过CLIProxyAPI将Claude Code后端模型切换为GPT-5.6 Sol的方法。只需三步：安装CLIProxyAPI、连接认证、设置环境变量别名`claudex`。该别名配置了子智能体模型、始终启用Effort、最大并发工具调用数等参数。Tibo称整个过程约5分钟，若被封锁可重置。

📝 编辑点评

今日热点呈现出AI行业在技术突破与商业伦理之间的剧烈拉扯。一方面，GPT-5.6 Sol在数学证明上的惊艳表现标志着LLM正从"语言模型"向"推理引擎"进化，而腾讯Hy3和德国Soofi S的发布则展示了开源生态在垂直场景和语言多样性上的持续发力。另一方面，xAI Grok CLI的静默上传事件和苹果对OpenAI的诉讼，将数据隐私和商业秘密保护推至风口浪尖——当AI工具深入开发者的代码库和企业的核心资产，信任边界变得前所未有的脆弱。纳德拉提出的"反向信息悖论"恰逢其时，提醒所有从业者：在享受AI带来的效率红利时，必须同步建立数据主权和透明度的新契约。此外，tokenizer隐性涨价和模型切换带来的成本变化，也提示开发者需更精细地评估实际使用成本，而非仅看标价。