每天更新，带你读懂科技圈。
今日看点： GPT-5.6 独立证明数学猜想，ChatGPT Work 变身超级智能体接管你的工作流，Apple 起诉 OpenAI 窃取商业机密，GitHub 复盘 Copilot Code Review 踩坑经历

---

⭐ 今日精选

1. GPT-5.6 Sol Ultra 独立证明 Cycle Double Cover 猜想

OpenAI 的 GPT-5.6 Sol Ultra 独立完成了 Cycle Double Cover 猜想的证明。不是帮数学家写代码，是模型自己读题、推演、证明，最后出了一份可验证的 PDF。Hacker News 上的数学家说这是"AI 在理论数学领域的里程碑"。[1]

2. ChatGPT Work 上线——真正的"超级应用"来了

OpenAI 发布了 ChatGPT Work——一个能跨应用和文件干活的 Agent。不是只会聊天的那种，它能打开你的文档、调用其他软件、盯着项目进度盯几个小时。Altman 赶紧出来澄清：ChatGPT Work 不会取代 Codex，定位完全不同。[2]

3. Apple 起诉 OpenAI 指控商业机密窃取

Apple 正式起诉 OpenAI，说对方高管指使前 Apple 员工偷商业机密。科技巨头直接对簿公堂，不常见。[3]

---

🤖 AI 前沿

ChatGPT Work 是 OpenAI 对"AI 应用层"的终极答案

The New Stack 对比了 OpenAI、微软和 Anthropic 的 Agent 策略。三家在"谁来控制 Agent"上意见一致，但在"你能收回什么"上分歧不小。OpenAI 走全托管——Agent 跑在云端，用户给目标就行。Anthropic 强调用户要能随时干预。[4]

GPT-5.6 成为 Microsoft 365 Copilot 首选模型

GPT-5.6 正式成为 Microsoft 365 Copilot 的默认模型，覆盖 Word、Excel、PowerPoint、Teams 全线。也就是说每个企业用户每天在用 GPT-5.6 写文档、做表格、分析数据——边际成本在往下掉。[5]

Anthropic 推出 Reflection：让 AI 自己决定用不用 AI

Anthropic 上线了一个叫 Reflection 的 Beta 功能，可以追踪和回顾 Claude 的活动。听着像日志，但 The New Stack 的解读挺有意思：Anthropic 想让你用 AI 来分析你到底该不该用 AI。[6]

检索质量：AI Agent 架构的"阿喀琉斯之踵"

The New Stack 的分析挺到位：Agent 的工作流就两步——建上下文，然后做决策。大多数 Agent 翻车不在第二步（推理），在第一步（检索）。Retrieval 质量正在成为 Agent 架构里最容易被忽略的瓶颈。[7]

论文速递

本周有几篇值得看的 AI 论文：

• AgentLens：评估 Coding Agent 的新基准，不只关心"任务通过了吗"，还看 Agent 的完整轨迹表现 [8]
• DeepSearch-World：用自我蒸馏训练搜索 Agent，不用人工标注轨迹 [9]
• ReCoLoRA：解决多任务微调中 LoRA 互相覆盖的问题 [10]
• Cost-Effective Agent Harnesses：在 ARC-AGI-1 上探索低成本高泛化的 Agent 方案 [11]
• In-Context Search Theory：从采样复杂度角度分析 Reflection-Driven Reasoning 的理论基础 [12]

---

🛠️ 开发与工程

GitHub Copilot Code Review 踩坑实录

GitHub 发了一篇挺诚恳的复盘：他们发现"更好的工具反而让 Copilot Code Review 更差了"。原因是在迁移到 Unix 风格的代码探索工具后，Agent 开始绕过 PR 证据去"猜"代码逻辑。最后还是回到 PR 证据本身重新设计了 Agent 工作流才搞定。[13]

Postgres 用 Rust 重写，100% 通过回归测试

开源项目 pgrust 用 Rust 重写了 Postgres，已通过全部回归测试。还不能直接上生产，但至少证明了用安全语言重写关键数据库引擎是可行的。[14]

---

☁️ 基础设施与云原生

AWS 管理百万级 K8s 集群学到的教训

The New Stack 采访了 AWS EKS 团队。最值钱的洞察：明显的故障（服务器挂了）反而是最好处理的。真正要命的是"部分可用"——AZ 部分降级、跨 AZ 流量不对称、缓慢的内存泄漏。AWS 为此开发了 EKS Zonal Shift。[15]

ingress-NGINX 即将退役

CNCF 博客提醒：ingress-nginx 控制器将在 2026 年 3 月退役。继续用下去意味着未修补的 CVE 和功能停摆。还在用的话，该规划迁移了。[16]

Meta 自研 AI 芯片 Iris 进入量产

Meta 准备自己造 AI 芯片了。内部备忘录显示，Meta 想减少对 NVIDIA 的依赖，Iris 芯片将用于推理。[17]

---

🏢 大厂动态

Apple vs OpenAI：巨头对决

Apple 起诉 OpenAI，说对方高管指使前员工偷商业机密。TechCrunch 报道 Apple 称窃密行为由 OpenAI 高层直接指使。这案子可能会成为科技行业商业秘密保护的标杆。[3]

字节跳动 STE 固件团队亮相 OCP China 2026

字节跳动在 OCP China 2026 上分享了三个方向：XPU 模组标准化接口、OpenBMC 平台移植的 Agent 框架、RAS API 标准化。万卡集群时代，固件不再是被动的基础设施了。[18]

---

📝 深度解读

AI 控制权之争：OpenAI、微软、Anthropic 的三方博弈

这周很多新闻背后其实就一个问题：AI Agent 的控制权归谁？

OpenAI 走全托管——Agent 跑在云端，用户给目标就行。Anthropic 的 Reflection 强调的是透明——你随时能看 Agent 在想什么。微软夹在中间，既是 OpenAI 大股东又是竞争对手。

The New Stack 的分析 [4] 点到了核心：三家都同意"Agent 应该由用户控制"，但 OpenAI 觉得控制就是"给指令"，Anthropic 觉得是"能随时打断"，微软更倾向于企业级权限管理。

结果会决定未来几年 AI 应用长什么样。OpenAI 赢了，Agent 就像云服务——黑盒、高效、不能干预。Anthropic 赢了，Agent 更像协作者——透明、能打断、可审计。

---

📝 结语

这周最炸的还是 GPT-5.6 证明数学猜想。从辅助写代码到独立推演数学证明，AI 的边界又被推远了一点。ChatGPT Work 意味着 AI 从"聊天工具"往"工作伴侣"的方向走。而 Apple 起诉 OpenAI 提醒我们：技术竞争已经从产品层渗透到人才和知识层了。

周末愉快，下周见。

---

觉得有用？点个 在看，让更多人看到 🎯
关注我，不错过每天的科技干货

---

参考资料

[1] GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
[2] ChatGPT is now a partner for your most ambitious work: https://openai.com/index/chatgpt-for-your-most-ambitious-work
[3] Apple sues OpenAI over alleged trade secret theft: https://techcrunch.com/2026/07/10/apple-sues-openai-over-alleged-trade-secret-theft/
[4] OpenAI, Microsoft & Anthropic agree on who runs the agent. They disagree on what you can take back.: https://thenewstack.io/ai-agent-control-planes/
[5] GPT-5.6 is now the preferred model in Microsoft 365 Copilot: https://openai.com/index/gpt-5-6-preferred-model-microsoft-365-copilot
[6] Anthropic wants you to use AI to decide whether or not you should use AI.: https://thenewstack.io/claude-reflection-ai-judgment/
[7] Why retrieval quality is becoming the defining challenge in AI agent architecture: https://thenewstack.io/retrieval-ai-agent-architecture/
[8] AgentLens: Production-Assessed Trajectory Reviews for Coding Agent Evaluation: https://arxiv.org/abs/2607.06624
[9] DeepSearch-World: Self-Distillation for Deep Search Agents: https://arxiv.org/abs/2607.07820
[10] ReCoLoRA: Spectrum-Aware Recursive Consolidation for Continual LLM Fine-Tuning: https://arxiv.org/abs/2607.07719
[11] Cost-Effective Agent Harnesses for ARC-AGI-1: https://arxiv.org/abs/2607.06764
[12] When Does In-Context Search Help?: https://arxiv.org/abs/2607.06720
[13] Better tools made Copilot code review worse: https://github.blog/ai-and-ml/github-copilot/better-tools-made-copilot-code-review-worse-heres-how-we-actually-improved-it/
[14] Postgres rewritten in Rust, passing 100% of regression tests: https://github.com/malisper/pgrust
[15] What running Kubernetes across millions of clusters taught AWS about zonal failures: https://thenewstack.io/eks-zonal-shift-resilience/
[16] Navigating the ingress-NGINX retirement: https://www.cncf.io/blog/2026/07/09/navigating-the-ingress-nginx-retirement/
[17] Meta’s Iris push signals the next phase of AI infrastructure: https://thenewstack.io/meta-iris-ai-chip/
[18] 字节跳动 STE 固件团队亮相 OCP China 2026: https://mp.weixin.qq.com/s?__biz=MzI1MzYzMjE0MQ==&mid=2247520780&idx=1&sn=be8775089a0a07f7d22f5bf267ee752b