「可验证计算」共找到 5136 篇相关文章
Agent 走向具身世界：从语言智能到机器人「大脑指挥官」
华为诺亚方舟实验室发布 RoboHarness 系统，解决不同策略协作问题。它将独立控制系统封装成可调度技能，由 Coding Agent 决策，还设计辅助技能和 Memory Bridge 模块，促进策略协同，推动具身智能发展。
Vercel Zero 引发争议：AI 时代真的需要一门新语言吗？
Vercel 推出 v0 API，让开发者能以编程方式访问其 AI 应用构建智能体，支持多种请求与外部工具。它将应用构建智能体作为基础设施开放，社区关注其对全程可编程应用开发的支持潜力。
对话清华赵扬：从反常识IL-10到人工免疫信号，她想推动新型CAR-T疗法走向临床
清华赵扬团队发现耗竭T细胞增加IL - 10受体表达，将IL - 10引入CAR - T改造，相关成果发表于顶级期刊并进入临床检验。此后她转向设计人工免疫信号系统，希望推动新型CAR - T疗法走向临床。
一个Skill让DeepSeek V4 Pro超越Fable 5？热门插件被锤了
前两天J-Space凭夸张测试结果刷屏，宣称一份Skill接入Agent环境，能让V4 Pro在多基准大幅提升，部分成绩超Fable 5。但社区复测结果相反，作者未公开完整评测记录，还删质疑帖，引发公开打假。
Agent 基建不是设计出来的，是被 Kimi K3 和一堆应用公司卷出来的
文章以 Kimi K3 模型及相关 agent 产品为例，讲述 TiDB 作为基建服务商，满足 AI 团队需求形成 Agent Stack。还指出 Agent 时代基建难题、数据库使用变化，以及创业团队做 Agent 业务的三个判断。
π0引用的中国团队，又出手了：世界仿真器新作发布
Current Robotics团队发布交互式世界仿真器CurrentWorld - 0，创始人祝毅晨履历亮眼。该仿真器能跨本体、多视角、力 - 触觉预测，可用于评测机器人，还能让人类接管以探索不同动作结果。
DataBuddy：数据语义驱动的企业 Agent Runtime 设计与落地｜AICon 深圳
2026年AICon深圳站8月21 - 22日举办，聚焦多关键方向。腾讯彭锦文将分享《DataBuddy：数据语义驱动的企业Agent Runtime设计与落地》，拆解DataBuddy相关架构，还介绍演讲痛点、听众收益等，大会有10个专题论坛。
Codex正式开放1M上下文！解除GPT-5.6 Sol封印，三行配置搞定
现在3行配置就能让GPT - 5.6 Sol封印解除，在Codex里用上1M上下文。不过有网友警告轻易别用，因超出默认窗口，模型消耗token速度会翻倍，且模型上下文利用能力会下降。此外，Codex确定会上Astra。
北大联合阶跃星辰提出TensorCast：统一可编程管理大模型张量，推理「首字延迟」最高降低93.2%
随着模型规模增长、新应用兴起，大模型基础设施面临管理「张量状态」挑战。北大、阶跃星辰与北邮联合提出 TensorCast，解耦张量状态，复用管理能力，在多场景测试中表现出色，为大模型基建提供新范式。
Claude水印已被破解，斩获11k Star！但会被拒绝安装
Anthropic为Claude生成文本添加隐藏水印，引发争议。很快有开源项目可去除Claude、Gemini、OpenAI水印，获11k Star，但Claude拒绝安装。反对与支持水印者观点不一，双方展开猫鼠游戏。