雷蛇巴塞利斯蛇 V4 双版本发布:专业版 1399 元、极速版 899 元,第二代充电底座同台亮相
雷蛇发布巴塞利斯蛇 V4 专业版与极速版鼠标,售价分别为 1399 元和 899 元,均支持第二代鼠标底座磁吸无线充电;底座套装 499 元,内置 8KHz 收发器。
上市仅一月再添新成员,凯迪拉克 XT5 PHEV 新车型定档 10 月 16 日
现款凯迪拉克 XT5 PHEV 9 月 7 日才上市,新车型已确定 10 月 16 日跟进。官方暂未公布具体版本与价格,产品阵容有望进一步扩容。
微软发布 VS Code 1.141:清理“僵尸”Agent 会话,新增跨平台终端沙盒
VS Code 1.141 聚焦 AI 智能体工作流管理,新增会话清理命令、跨平台终端沙盒、多会话网格布局,并支持同时登录多个 GitHub Enterprise 实例。
陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?
OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
AI出行大时代渐近:网约车入口、运力与竞争逻辑正在重写
网约车用户规模触顶后,曹操出行密集接入手机与眼镜智能体,萝卜快跑、小马智行等Robotaxi加速商业化,AI出行的产业链闭环初现,入口、竞争逻辑与话语权随之改写。