苹果把 OpenAI 告上法庭：指控它组团挖人、偷走商业机密

GPT-5.6 Sol Ultra 据说调了 64 个分身，一小时啃下悬了半个世纪的数学猜想；可同一家 OpenAI 的 ChatGPT Work 一上线就算力爆表、迁移混乱，官方只能认栽"没把每件事都做对"。更热闹的是，苹果这周把它告上了法庭。

• 苹果起诉 OpenAI —— 指控其组团挖走前苹果员工、系统性窃取商业机密，HN 冲到 1527 分登顶。刚给 Siri 接完 ChatGPT 的两家，转头就对簿公堂——合作和防贼，原来可以是同一段关系。

• Sol Ultra 一小时证 50 年数学猜想（待核实） —— 据报道它并行调度 64 个子智能体，产出「圈双覆盖猜想」的证明。数字很唬人，但证明还没经同行复核——在有人验完之前，这更像能力宣传，不是数学史。

• 智源 Orca 世界模型 —— 在 12.5 万小时视频上训练，不看任何动作标签就追平专用机器人系统。它预测的是抽象世界状态而非像素或 token——世界模型这条路，国内实验室这次拿出了硬样本。

• Colibri：慢电脑也能跑 GLM 5.2 —— 开源项目，教你在低配机器上本地把 GLM 5.2 跑起来，HN 889 分。闭源旗舰这周在拼超人算力，另一头有人在证明"一台旧笔记本也够用"。

• Meta Muse Spark 1.1 编码反超 GLM-5.2 —— 智能指数 51 分、编码 71.3 分，三个月涨 8 分，用更低成本压过 GLM-5.2。选型的问法，正从"谁最强"变成"谁在这个价位最强"。

• ChatGPT Work 上线即翻车 —— 算力消耗过高、桌面端聊天迁移混乱，OpenAI 承认"没把每件事都做对"，正紧急补 UX 和成本。能一小时证数学猜想的公司，连产品上线都能砸——能力和交付是两码事。

• OpenAI 把 ChatGPT 往家里塞 —— 开始招面向家庭、照护、长者的产品经理，要把 ChatGPT 做进日常家用场景。企业市场还没吃透，它已经在抢客厅里那块屏。

• 剑桥研究：恐怖组织在用每一个主流聊天机器人 —— Boko Haram 用 ChatGPT、Claude、Gemini 策划攻击、造爆炸物，ISIS 成员也在受训。护栏能挡脏话，挡不住真心想绕的人——滥用治理的窟窿是现实的。