每天更新带你读懂科技圈。今日看点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 自己决定用不用 AIAnthropic 上线了一个叫 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?__bizMzI1MzYzMjE0MQmid2247520780idx1snbe8775089a0a07f7d22f5bf267ee752b