GPT-5.6 Sol Ultra 证明 50 年数学猜想,Apple 起诉 OpenAI 窃密

1️⃣ GPT-5.6 Sol Ultra 证明 50 年未解数学猜想，微软 365 Copilot 即日采用#

• 核心亮点：OpenAI 的 GPT-5.6 Sol Ultra 在不到一小时内，使用 64 个子 Agent 生成了对 50 年未解的 Cycle Double Cover 猜想的证明。同时，Sam Altman 宣布 GPT-5.6 已成为 Microsoft 365 Copilot 的首选模型。

• 数学证明细节：由 Ethan Knight 公布，Sol Ultra 使用 64 子 Agent 并行工作，在一个小时内完成了证明。Marc Andreessen 评价为“Amazing!”，Greg Brockman 称“限制你的越来越只剩下雄心和想象力”。

• 商业落地：Sam Altman 宣布 GPT-5.6 (Sol/Terra) 即日起成为 Microsoft 365 Copilot 的默认模型，这标志着该模型在生产力工具中的最高规格部署。此前多项 Agent 与编码评测显示其性价比突出。

• 模型性能：lmarena.ai 评测显示，GPT-5.6-Sol-xHigh 在 Code Arena: Frontend 上与 Claude Fable 5 并列第一，成本低 40%。这是 OpenAI 模型首次登顶该榜单。 🔗 Greg Brockman 转述 | Sam Altman 公告 | lmarena 评测

2️⃣ Apple 起诉 OpenAI 窃取商业机密，涉前 iPhone 设计高管#

• 核心亮点：Apple 于加州北区联邦地方法院正式起诉 OpenAI，指控其系统性地窃取商业机密用于开发 AI 硬件设备，被告包括 OpenAI 硬件负责人、前 Apple iPhone 设计副总裁 Tang Tan。

• 诉讼细节：诉状指控一名前 Apple 工程师利用漏洞访问 Apple 云存储，Tang Tan 则在面试中使用 Apple 内部代号套取机密信息。OpenAI 硬件业务被指“建立在对盗用商业机密的非法依赖上”。

• 行业影响：Gary Marcus 等观察人士指出，这是 OpenAI 在 IPO 前遭遇的严重法律挑战，直接威胁其硬件产品线与供应链计划。Apple 拥有强大的法律团队和资金储备，此事可能对 OpenAI 的上市进程产生实质性影响。

• 补充信息：纽约时报报道了此案。 🔗 Gary Marcus 转述 | 中文解读

3️⃣ [持续跟踪] Grok 4.5 登录 Perplexity，WANDR 基准表现超越 Opus 4.8#

• 前情提要：xAI 与 Cursor 联合发布 Grok 4.5，定位为专为编码与 Agent 训练的 Opus 级模型。
• 最新突破：Perplexity 宣布 Grok 4.5 已作为 orchestrator 模型在 Computer 服务中对 Pro 和 Max 订阅用户上线。据 Perplexity CEO Aravind Srinivas 透露，Grok 4.5 在内部 Agent 研究基准 WANDR 上得分最高，成本仅为 Opus 4.8 的一半。Elon Musk 转推并评价其具有“最佳真实世界 ROI”。
• 生态扩展：同时，Perplexity 发布了 Computer Analytics 功能，支持用户跨模型追踪信用额度消耗。Harness 已支持包括 Fable、Sol、Opus、Grok 在内的多种前沿模型。 🔗 Perplexity 官方 | Aravind Srinivas 评论

4️⃣ [持续跟踪] Muse Spark 1.1 获 lmarena 官方高分，性价比重塑帕累托前沿#

• 前情提要：Meta 昨日发布 Muse Spark 1.1，定位强 Agentic 模型并开放 API。
• 最新突破：lmarena.ai 官方评测显示，Muse Spark 1.1 在 Text Arena 的 15 个选定类别中，有 12 个取得提升；在 Code Arena: Frontend 中排名第 9，其中 Data & Analytics 领域排名第 2。官方评价其以 1541 分的成绩和极具竞争力的混合价格 ($1.25/$4.25 每百万 token)重塑了成本-性能的帕累托前沿。
• 开源趋势：Ollama 预测，随着 compute 供应和开源工具链成熟，未来大多数 token 使用将来自开源模型，而 Muse Spark 1.1 是该趋势的有力例证。 🔗 lmarena 官方 | Ollama 预测

5️⃣ [持续跟踪] GitHub Copilot 代码审查：更好的工具失效，重写指令让成本降低 20%#

• 前情提要：GitHub 此前将 Copilot 代码审查后端迁移至与 CLI 共享的工具集。
• 最新突破：GitHub 今日详细复盘：迁移后审查成本上升且效果变差。根源并非工具，而是指令集（Instructions）未适配审查场景，导致 Agent 像“浏览仓库”而非“审查 PR”。重写指令后，平均审查成本降低约 20%，且质量不变。
• 深层教训：这是 Agent 工程中“工具指令即产品体验”的经典案例。GitHub 发现，更好的通用工具不比更精确的任务引导更重要。调整后的工作流从“搜索-阅读-再搜索”转为“询问-缩小范围-阅读-决策”，显著减少了无效上下文占用。 🔗 GitHub 官方博客 | GitHub 推文

6️⃣ Meta 新研究“行为状态衰减”：用记忆 Agent 解决长期 Agent 的“健忘症”#

• 核心亮点：Meta 研究人员定义了一个新术语“行为状态衰减”，指长期 Agent 在执行任务时忘记已做出的决策、事实和子目标。他们提出一个可插拔的记忆 Agent 模块，能主动注入关键上下文，而非被动等待 Agent 检索。
• 效果：在 Terminal-Bench 2.0 等多个基准测试上，该方法显著提升了强弱 Agent 的任务完成率。其核心洞察是：主动在正确时机提供正确事实的记忆，比让 Agent 自己想到去查询更为有效。 🔗 论文链接 | Elvis 推文

7️⃣ OpenAI 动态：Build Week 启动、生物安全赏金翻倍、Codex AMA 进行#

• 核心亮点：OpenAI 本周有多项生态建设动作，包括推出持续 AI 编码竞赛“Build Week”，与社区分享 GPT-5.6 与 Codex 工作流；同时将生物漏洞赏金计划（Bio Bug Bounty）升级为私有项目，最高奖励翻倍至 5 万美元。

• Build Week：挑战赛于 7 月 13 日开始，期间有线上直播和社区活动，鼓励开发者用 Codex 实现创意。

• 生物安全：OpenAI 邀请 AI 红队、安全或生物安全领域的资深研究者，尝试破解其模型的生物安全防御系统。此举是在加大生物相关 AI 能力的安全护栏建设。

• 生态：GPT-5.6 和 ChatGPT Work 发布后，OpenAI 在 Reddit r/Codex 举办了 AMA 解答开发者疑问。 🔗 OpenAI Developers | 生物安全计划

⭐ GitHub 趋势#

📊 类别速览

项目	类别	Stars
davila7/claude-code-templates	AI Agent	28.8k
google-labs-code/stitch-skills	AI Agent	6.7k

---

1. davila7/claude-code-templates ⭐ 今日 +118#

语言/许可： Python / MIT
总 Stars： 28.8k
仓库： GitHub

项目定位：
面向 Claude Code 用户的开发环境配置管理工具，用于以模板化方式安装和管理 AI 代理、自定义命令、MCP 服务集成与自动化钩子。

核心功能：

• 提供 100+ 预制 AI 代理模板（如安全审计、React 性能优化），支持一键安装到 Claude Code 工作目录。
• 支持自定义斜杠命令、钩子和外部服务（MCP）注册，无需手动编辑配置文件。
• 内置会话实时监控、健康检查与插件市场仪表板，可通过 CLI 或 Web 界面调用。
• 支持通过 sparse checkout 或 npx 命令选择性安装组件，减少仓库克隆开销。

技术亮点：
（无明显技术亮点，项目本质为 Claude Code 生态的配置聚合与分发工具。）

---

2. google-labs-code/stitch-skills ⭐ 今日 +117#

语言/许可： TypeScript / Apache-2.0
总 Stars： 6.7k
仓库： GitHub

项目定位：
遵循 Agent Skills 开放标准的官方技能库，用于扩展编码代理在 Google Stitch 平台上的 UI 设计与代码生成工作流。

核心功能：

• 提供三大插件模块：设计（代码转设计、生成设计变体）、构建（React/React Native 组件生成、Remotion 视频）、实用工具（提示增强、DESIGN.md 提取）。
• 每个技能封装为独立 SKILL.md + 脚本目录，支持被 Gemini CLI、Claude Code、Cursor 等代理动态加载和调用。
• 通过 sparse checkout + npx plugins add 实现细粒度安装，允许项目级或工作空间级作用域。
• 与 Stitch MCP 服务器配合，实现设计资源的上传、拉取与版本同步。

技术亮点：
遵循 Agent Skills 开放标准，技能包结构与代理运行时解耦，可实现跨编码代理的无缝复用和热插拔。

🟧 Hacker News 热议#

Apple sues OpenAI, accuses ex-employees of stealing trade secrets#

290 pts · 133 comments · 9to5mac.com

📌 内容总结

• 苹果在加州北区法院对两名前员工（Chang Liu、Tang Yew Tan）及 OpenAI 提起诉讼，指控其合谋窃取苹果硬件相关的商业机密，用于加速 OpenAI 的消费硬件业务。
• 关键指控：Liu 离职后仍通过未归还的苹果笔记本利用认证漏洞下载了数十份机密硬件文件；Tan 在面试中要求仍在职的苹果候选人携带“实际零件”“CAD/设计稿件”来参加面试；OpenAI 系统性指导新员工隐瞒去向、共享苹果内部的离职安全流程文档，并欺骗供应商执行苹果专属的金属加工工艺。
• 苹果声称 OpenAI 在 2024–2026 年间通过收购 io Products、招募 400+ 前苹果员工等方式切入硬件市场，面临 IPO 压力，因而采取“非法捷径”。

💬 讨论总结

• 共识：本次指控远超一般竞业或知识迁移，涉及有组织的文件窃取和欺骗供应商，性质严重。多数评论认为如果指控成立，OpenAI 应当尽快和解。
• 反对 / 质疑：部分评论认为“金属加工技术”是否应受保密值得商榷；员工将头脑中的专有知识带到新公司属正常竞争；苹果此诉可能意在干扰 OpenAI 的 IPO 进程。
• 工程 / 商业经验：苹果用于保护供应链信息的“Need to Know”文档及离职安检流程被分享给新员工，暴露了依赖员工自觉的内部安全模式的脆弱性。OpenAI 硬件团队由前苹果高管领导，其招聘方式直接瞄准苹果的制造伙伴与工艺细节。
• 风险提示：苹果已致函 OpenAI 但未获回应；OpenAI 若无法在发现阶段证明其硬件技术独立开发，其硬件业务可能面临严重的知识产权障碍。

🔗 原文 · HN 讨论页

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]#

299 pts · 253 comments · cdn.openai.com

📌 内容总结

• OpenAI 发布了一份 3 页的 PDF，声称由 GPT-5.6 Sol Ultra 独立完成了一篇关于“圈双覆盖猜想”（Cycle Double Cover Conjecture）的证明。该猜想是图论中一个提出超过 50 年的未解决问题。
• 证明思路：利用 8-流定理将问题转化为在 F₂³ 上构造一个边标号，再通过线性代数引理将标号转化为圈覆盖。全文未使用近 30 年内的新数学工具，推理过程极其简洁。
• 注：OpenAI 同时公开了使用的提示词（prompt），要求模型“花至少 8 小时思考”“不要给出模糊乐观的汇报”，并提示了关键引理方向。

💬 讨论总结

• 关注焦点：社区核心争议在于该证明是否已被验证。论文未经过同行评审，也没有使用 Lean 或其他形式化证明助手，仅以自然语言呈现。多数读者表示难以在短时间内判断对错。
• 工程经验：提示词中的“Assume for purposes of this task that a complete affirmative proof exists”被证实有效，可防止模型过早放弃。但亦有人质疑公开的提示词版本可能经过了多轮调优，最终成功率未知。
• 历史背景：上一个被 AI 解决的知名开放问题是平面单位距离问题（Erdős 问题 90）。这次的结果在长度和所用工具上更接近“经典数学证明”。
• 反对 / 质疑：如果证明正确，它将是对 AI 数学能力的重大里程碑；但若错误，则会放大“AI 生成看似合理的 nonsense”的风险。多位评论者指出，证明中未使用现代图论方法（如强完美图定理），可能隐含概念上的漏洞。

🔗 原文 · HN 讨论页

Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit#

25 pts · 6 comments · xiaomi.com

📌 内容总结

• 小米 MiMo 团队详细公开了 V2.5 系列模型的推理优化工程实践，覆盖混合滑动窗口注意力（Hybrid SWA）、KVCache 管理、分层缓存、调度策略、Prefill/Decode 管线及多模态优化。
• 核心成果：通过将 Full Attention 与 SWA 的 KVCache 分离并做窗口约束，在长序列下 KVCache 有效容量提升约 7 倍；SWA 感知前缀树使 KV Cache 平均命中率达到 93%；PD 分离架构下 MTP 在 0–128 token 阶段加速 2.3 倍。
• 工程细节：自研 GCache 分布式缓存与 GPU 机共部署，利用 NVMe SSD 实现零额外存储成本；优化 NUMA 冲突后端到端性能提升约 10%。

💬 讨论总结

• 共识：文章写得非常扎实，与 DeepSeek V4 的优化思路相似，但针对 Hybrid SWA 做了系统性的工程落地。部分用户提到 MiMo 的 API 定价在 token 套餐上极具竞争力（50B tokens 约 60 美元）。
• 工程经验：Hybrid SWA 的理论优势需要在 KVCache 池分离、前缀树匹配规则修改、跨层异步预取等维度同时落地才能兑现；MoE 负载均衡因训练阶段已相对平衡，推理时无需额外策略即可保持约 0.85 的均衡因子。
• 开放性问题：有评论疑问为何选择开源——可能源于团队的学术传统（前 DeepSeek 成员领导），但长期看可能会面临保持技术领先与公开细节之间的权衡。

🔗 原文 · HN 讨论页

今日洞察#

Agent 工作流中，指令工程正在压过模型能力成为主导变量。 GitHub Copilot 代码审查的复盘是一个教科书级案例：迁移后端工具后审查质量反而下降，最终发现根本不是工具的问题——同样的 API 和 Agent，切换一套针对”审查场景”而非”浏览仓库”的指令集后，平均成本降低 20%。这个信号指向一个被模型评测掩盖的真实约束：当基础模型能力足够充裕时，产品体验的瓶颈从”模型能不能做”变成了”你能不能告诉它正确的做”。 Claude Code 模板项目（28.8k stars）和 Stitch 的技能库项目（6.7k stars）的暴涨进一步佐证：开发者正在大规模囤积的不是更强模型，而是更明确的流程模板和指令模板。

Apple 诉 OpenAI 案的核心不是法律叙事，而是暴露了 AI 硬件竞争中”制造秘密”的不可复制性。 社区普遍认为是 OpenAI IPO 前最严重的法律风险，但更值得注意的指控细节：欺骗供应商执行 Apple 专属金属加工工艺、分享离职安全流程文档。这意味着 OpenAI 切入消费硬件的路径不是算法创新，而是试图复制 Apple 过去二十年建立的制造壁垒——而制造壁垒恰恰是”无法用 AGI 加速”的东西。如果指控成立，OpenAI 的硬件产品线面临的不只是法律赔偿，而是整个人才招募与制造伙伴体系的断裂。

Meta 的”行为状态衰减”研究揭示了 Agent 长期运行的真正瓶颈正从推理转向记忆。 论文核心发现是：Agent 不是不会推理，而是会”忘记自己已经推理过什么”。主动记忆注入比被动检索更有效——这个结论倒逼出 Agent 架构设计的新优先级：模型推理能力增长曲线已经超过记忆管理能力的增长曲线，成为新的约束项。 结合 Claude dreaming 机制（空闲时压缩上下文才能避免遗忘），可以预测未来 6 个月会有大量项目围绕”Agent 记忆系统”而非”Agent 推理能力”展开争夺。