最新发布第92页
TiinyOS拿到PC预装订单后,个人AI入口开始从云端走向本地设备-速维云

TiinyOS拿到PC预装订单后,个人AI入口开始从云端走向本地设备

Tiiny AI 获融资并拿到 PC 预装订单,端侧推理、AI OS、算力成本优化和机器人全模态进展共同说明,个人 AI 入口正在从云端服务延伸到本地设备。
Nano Banana 2撤回后,地理AI开始面对现实边界-速维云

Nano Banana 2撤回后,地理AI开始面对现实边界

谷歌把 Nano Banana 2 接进谷歌地球后又紧急撤回,这件事比一次普通功能下线更值得关注。它说明地理空间约束和图像生成模型结合后,AI 不再只是画一张“像真的”图片,而是开始贴着真实坐标、真...
浏览器、长上下文与工业Agent,AI开始争夺真实世界的执行入口-速维云

浏览器、长上下文与工业Agent,AI开始争夺真实世界的执行入口

Anthropic把Claude装进浏览器之后,AI智能体终于拥有了一个更像“工位”的入口。8月26日上线的Claude in Chrome面向付费用户开放,用户只需交代目标,Claude便可以在独立浏览器里浏览网页、点击...
OpenAI把Codex带进实验室,AI科研开始争夺证据链入口-速维云

OpenAI把Codex带进实验室,AI科研开始争夺证据链入口

OpenAI发布Rosalind Workbench,把生命科学中的证据检索、结构分析、基因组学与实验流程连接到同一工作台,AI科研竞争开始从模型问答走向可复核的专业交付。
Uber让七成代码审查交给Agent后,企业AI开始重算每项任务成本-速维云

Uber让七成代码审查交给Agent后,企业AI开始重算每项任务成本

Uber将超过七成代码变更交给Agent参与处理,并通过上下文图谱、模型路由和Token缓存控制成本。企业AI竞争正在从模型参数转向可验证的任务交付。
Claude把黎曼猜想推进到67.25%,数学研究进入发现、简化与机器验证闭环-速维云

Claude把黎曼猜想推进到67.25%,数学研究进入发现、简化与机器验证闭环

Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%,人类数学家随后简化证明,形式化工具在数小时内完成机器核验。与此同时,三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...