「可验证计算」共找到 5041 篇相关文章
牛芯半导体完成UB协议IP互通验证
近日，牛芯半导体搭载自研控制器IP的原型验证平台，与万里眼标准UB网络测试仪完成对接，标志其自研UB控制器IP在协议一致性上迈出关键一步，为生态伙伴开展兼容性验证提供范本。
大部分token根本不该重复计算，不止于KVCache
斯坦福研究显示，AI Agent每次调用62%内容重复，现有前缀缓存虽有优化但天花板低，阿里云数据表明多数缓存块利用率低。LMCache将缓存管理独立，解决性能问题，其CacheBlend技术复用缓存，适配多引擎和存储后端。
Agent性能暴涨90%，刷榜GAIA可太容易了～
今年AI Agent层出不穷，当前研究缺乏统一标准、复现难。oppo Agent团队分享构建高效Agent的关键组件及刷榜GAIA的方法，从事实获取能力和逻辑推理保真度两维度分析，介绍了强化感知和提升思维的策略。
从计算到存储，阿里云打通AI落地的“任督二脉”
在8月14日飞天发布时刻，阿里云发布通用计算、容器计算及存储服务三项产品更新，串联出AI落地业务场景完整路径，引导行业重新思考AI时代云基础设施的本质。
AI游戏生成迎来「机制觉醒」：可自我进化的玩法设计师
文章指出当前大模型生成游戏存在玩法创新不足、评分虚高等问题。CreativeGame技术关注此问题，通过先写设计文档、激发创意、设计记忆架构等方式，让AI围绕机制持续迭代，探索可解释、可追踪、可迭代的创作范式。
云计算“活教科书”语出惊人，指明程序员的进化方向
亚马逊云科技副总裁Jeff Barr被称云计算“活教科书”。他认为AI编程工具放大开发者技能，开发者应提升沟通能力，未来“短命应用”将涌现，云与AI结合是趋势，还见证了中国云计算发展的巨大进步。
Meta 悄悄开源了两个惊艳的 3D 重建模型，物体重建+人体重建！
前两天AI圈被Gemini 3 Pro刷屏，Meta却悄悄开源了两个“硬核”项目：SAM 3D Objects可从一张照片重建任意物体，SAM 3D Body能从一张照片重建人体网格模型，二者结合可构建完整3D场景，且全部开源、可商用。
Claude实名认证引众怒！强制验证是为了更精准封号，Opus自己都看不下去
Claude新规则要求实名认证，引发网友不满。身份验证并非继续使用服务的通行证，反成封号预警。15岁天才程序员因未成年被封账号，Claude Opus 4.6也否定自家KYC规则。
4K-Agent：可将低分辨率图像提升至4K高清智能体
图像超分辨率技术在多种视觉任务中重要，但传统方法泛化能力有限。德克萨斯A&M等大学研究人员推出4K Agent，其多智能体架构能将低分辨率图像提至4K高清，在多领域测试表现出色。
Agent Team 实践与架构设计：在约束下构建可演进的一个人开发团队
作者结合构建的Routa，探讨在Token、流程、工具选择等约束下构建可演进的多Agent系统。介绍了Routa架构、原则，如跨Agent通信、状态外置等，还阐述了各设计要点及示例，强调系统可演进性。