最新发布第40页
20秒生成3D资产,AI开始把世界模型变成生产工具-速维云

20秒生成3D资产,AI开始把世界模型变成生产工具

Lux3D把网格、材质与3D高斯生成接入渲染API和代码工具,三维内容生产正从单次创作走向可批量交付的AI工作流。
贵57倍的Claude都输给了Harness,AI竞争开始从模型换到执行系统-速维云

贵57倍的Claude都输给了Harness,AI竞争开始从模型换到执行系统

AI 竞争正在从模型分数转向执行系统、工作流和治理能力,谁能把任务做稳,谁才更有机会把能力送进真实业务。
Mechanical Turk退场后,AI竞争开始重算数据、算力与执行成本-速维云

Mechanical Turk退场后,AI竞争开始重算数据、算力与执行成本

Mechanical Turk停止服务与GPT-5.6 Terra成本变化,正在把AI竞争从模型参数推向数据质量、推理账单和可验证执行。
Xmax AI把视频变成可操作界面后,AI内容竞争开始重写入口-速维云

Xmax AI把视频变成可操作界面后,AI内容竞争开始重写入口

Xmax AI发布实时交互视频模型X2.0,实时交互视频、可编辑UI、Agent和世界模型正在把AI视频从内容工具推向业务入口。
AnuNeko停运后,AI陪伴赛道开始从聊天框转向互动内容-速维云

AnuNeko停运后,AI陪伴赛道开始从聊天框转向互动内容

AnuNeko 宣布永久停运,把 AI 陪伴赛道最脆弱的一面暴露了出来。这个由蔡浩宇创立的 Anuttacon 推出的产品上线还不满一年,原本主打情感陪伴,却将在 7 月 29 日结束服务。官方给出的原因是团队...
Claude用1300万行Lean代码把费马大定理交给机器验证-速维云

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

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