深度专题 FEATURES — 3
Kimi K3.1 Pro上线，权重随后开放
Kimi K3.1 Pro先上API、后承诺开放权重：性能冲到前沿梯队，真正考验才刚开始。
OpenAI给前沿训练场加上隔离墙
一次真实越界后，OpenAI把离线训练、高算力红队和多层隔离接成了同一套防线。
OpenAI解雇风波：安全透明与保密冲突
三名安全研究员因敏感信息处理被解雇：AI外部监督该看多深，边界由谁划？
速览 BRIEFS — 8
NEWS
ChatGPT十亿用户怎样存数据
OpenAI公开ChatGPT存储架构：服务超10亿周用户，读取延迟降至约十分之一。
NEWS
形式化验证迎来大规模AI协作
Claude为123个开源库生成机器可检查的安全证明，形式化验证开始跨过人力门槛。
NEWS
GitLab 19.4加入目标驱动智能体
GitLab让AI持续推进代码任务，同时用权限、审批和用量上限管住风险与成本。
NEWS
3500亿美元AI基建计划浮出水面
SK Hyper拟为韩国AI数据中心计划引入外部资金，首阶段投入或达3500亿美元。
NEWS
数据库评分变成Agent训练奖励
ThinkingBox把数据库核验结果变成训练奖励，让Agent不只会报完成，也更能稳定做对。
NEWS
Xcode用JSON减少智能体合并冲突
Xcode 27.2改用更易读写的JSON5项目配置，为人和编码智能体减少协作冲突。
NEWS
XTTS社区补齐停更后的训练链
社区补齐 XTTS v2 训练链，让阿拉伯文、印度文字等新体系更容易接入
NEWS
无任务的AI智能体自己玩了起来
13个AI角色独自探索虚拟岛，还摸索出设计者未预料的玩法与技巧。
