最新发布第63页
World Labs推多模态世界模型Atlas、WorkBuddy宣布开放平台上线后,AI应用竞争开始回到真实入口-速维云

World Labs推多模态世界模型Atlas、WorkBuddy宣布开放平台上线后,AI应用竞争开始回到真实入口

这一天的 AI 行业动态有一个共同指向:AI 大模型不再只围绕参数、榜单和演示视频竞争,而是在代码开发、内容生产、办公入口、终端设备、商业化结算和安全治理里寻找真实落点。World Labs推出全...
扩散语言模型让Agent提速五倍:端侧AI开始争夺并行执行能力-速维云

扩散语言模型让Agent提速五倍:端侧AI开始争夺并行执行能力

DiffuSpace与Acrab测试显示,扩散语言模型在端侧场景可将Agent运行速度提升约五倍。随着Meta语音模型和AI材料实验系统持续落地,AI竞争正从生成能力转向并行执行、设备响应与可验证交付。
Muse Spark 1.3减少25% Token消耗,Agent模型开始按任务结果决胜-速维云

Muse Spark 1.3减少25% Token消耗,Agent模型开始按任务结果决胜

Meta Muse Spark 1.3把Agent竞争推进到长任务执行:工具调用减少约20%,Token消耗降低约25%,模型开始用更少的动作完成更复杂的工作。
从判断到推演:AI决策模型开始进入现实世界-速维云

从判断到推演:AI决策模型开始进入现实世界

通用决策大模型、主动视频理解、具身智能与端侧模型接连推进,AI正在从回答问题走向持续推演、执行与结果交付。
AI算力融资潮升级:从GPU租赁到企业级基础设施,谁在争夺下一代AI入口-速维云

AI算力融资潮升级:从GPU租赁到企业级基础设施,谁在争夺下一代AI入口

Crusoe完成超30亿美元融资并签下长期AI云合同,Thinking Machines、Wonderful与小鹏机器人也获得大额资本支持。多条资讯共同显示,AI竞争正从模型能力扩展到算力、企业治理和真实世界交付。
Claude用1300万行Lean代码把费马大定理交给机器验证-速维云

Claude用1300万行Lean代码把费马大定理交给机器验证

Claude完成大规模Lean形式化证明,GPT-6在开放数学问题基准中提交机器可验证结果,AI科学正在从生成答案转向交付证据链。