腾讯 WorkBuddy 接入 Kimi-K3.1-Pro:百万上下文,另有 2-3 倍速高速版
腾讯 WorkBuddy 宣布接入 Kimi-K3.1-Pro 及高速版模型,支持 100 万上下文,代码与 Agent 类评测逼近头部闭源模型。现阶段仅向企业旗舰版和个人订阅用户优先开放。
拼豆十个月退烧:290亿播放难掩线下闭店潮
抖音播放量逼近300亿、淘宝搜索增长近500%,拼豆线下却出现集中转让。单店模型、连锁复购、中游工具与色号标准、上游产能及监管成本,共同构成这场手作风口的分化。
Quest Diagnostics确认数据泄露:Quanum系统患者信息遭未授权访问
美国实验室检测巨头Quest Diagnostics确认其Quanum系统遭网络攻击,部分患者个人信息和健康记录被未经授权访问。公司已通知执法部门并展开调查,但受影响人数和具体数据类型尚未披露。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
第18个双十一:电商平台不再只拼低价
第18个双十一,平台简化规则、加码会员与AI入口,品牌开始核算渠道利润。大促仍在,但竞争重点已从低价转向留存和经营效率。