今日 AI 速览
头条
OpenAI 的 GPT-5.6 Sol Ultra 证明了 50 年悬而未决的"循环双重覆盖猜想"
该模型调度 64 个子智能体，在不到一小时内完成了 George Szekeres（1973）与 Paul Seymour（1979）分别提出的经典图论猜想的证明，归约到三次图并借助 8-流定理构造边标号。论文尚未经同行评审，若被证实，将是 AI 迄今最重大的科研成果之一。
Hacker News →
苹果起诉 OpenAI，指控"系统性"窃取商业机密
诉状称从技术骨干到硬件总负责人 Tang Tan（苹果前副总裁）"在各个层级"参与，甚至要求跳槽面试者带苹果实物零件"show and tell"；另一名前员工被指偷走一台苹果笔记本。苹果称已有超 400 名前员工加入 OpenAI，OpenAI 否认指控。
CNBC → TechCrunch →
研究动态
UniClawBench（港大）
首个"能力驱动"的智能体基准，围绕技能使用、探索、长上下文推理、多模态理解、跨平台协同五大能力设计 400 个双语真实任务，用实时 Docker 容器 + 分步检查点评测，避免以往基准"静态答案""能力混杂"的问题。
arXiv →Ideas Have Genomes
把科研论文拆解为"最小可验证的想法基因组"，构建 IG-Bench 评测 LLM 能否追溯科学思想的继承、变异与创新。测试 14 个 LLM 科学家系统，最强模型精确准确率仅 27.3%，暴露组合推理的明显瓶颈。
arXiv →工具与产品
小米 MiMo v2.5：发布"混合滑动窗口注意力"推理优化博客，将效率推向极限。
小米博客 →Google DeepMind AlphaEvolve：由 Gemini 驱动的编码智能体已扩展到基因组学、量子物理、数学领域，DNA 测序错误检测降幅达 30%。
Anthropic：Claude 新增测试版"反思仪表盘"；Claude Code 在 Bedrock/Vertex AI/Foundry 默认开启 Auto 模式，Bedrock 同步升级到 Opus 4.8。
OpenAI：推出基于 Codex 与 GPT-5.6 打造的智能体产品 ChatGPT Work。
播客精华
The MAD Podcast with Matt Turck
对话 Stripe 数据与 AI 负责人 Emily Sense
智能体商务已从假设走向真实基础设施：Stripe 与 Google、Microsoft/OpenAI、Meta 均已落地"商品发现 + 一键结算"。 关键警示："代币盗窃"是被严重低估的问题，超六分之一的 AI 公司注册行为是滥用，本质是"不偷钱、偷 token"的白嫖攻击； 按坐席收费的 SaaS 定价模式正在瓦解，未来智能体或将独立经营整个业务。
社区热议
HN：《AI 2040: Plan A》(319分) · 《Networking and the Internet, from First Principles》(86分)
Reddit：r/LocalLLaMA 热议 Kivarro（Rust/Tauri 本地 LLM 工作台）与 Kyutai Pocket TTS（5 秒音频克隆语音，纯 CPU）； r/singularity 关注日本 Noetra 财团（软银/索尼/本田/NEC）计划 2040 年前部署 1000 万台机器人，以及特朗普政府要求 OpenAI 错峰发布 GPT-5.6 的传闻。
GitHub 趋势
今天的主线是"AI 主体性"在两条战线同时扩张：一边是 GPT-5.6 用 64 个子智能体啃下 50 年数学难题，展示 AI 已能承担真正的原创科研角色； 另一边是 Stripe 揭示的智能体商务基础设施让 AI 开始"自主花钱办事"。与此同时，苹果与 OpenAI 的诉讼撕破了大厂合作的表面和气， 提醒我们这场竞赛的另一面是人才与机密的激烈争夺战。