可验证计算」共找到 5041 篇相关文章

产品应用8

厉害了,智谱造了全球首个手机通用Agent!人人免费,APP甚至直接操控云电脑

智谱发布全球首个手机通用Agent AutoGLM,免费且人人用。它在云端执行任务,不占本地资源,还能操控云电脑。能集成到多种载体,上线移动端API申请通道及开发者生态共建计划。

量子位
新闻资讯7

独家对话希捷科技Jason Feist:AI时代,企业正在“删除删除键”|甲子光年

本文是「甲子光年」对希捷科技云存储业务高级副总裁杰森·费斯特的独家对话。费斯特指出,AI 基础设施正从计算、内存转向存储,企业倾向长期保存数据,高容量硬盘重要性凸显。他还探讨了存储系统变化、技术创新等问题。

甲子光年
算法论文7

矩阵乘法以算得更快了!港中文10页论文证明:能源、时间均节省

香港中文大学10页论文提出新算法RXTX,用于计算矩阵与其转置的乘积XXᵗ。该算法结合机器学习搜索和组合优化技术,能源节省5%-10%,时间节省5%,对多领域有深远影响。

量子位
算法论文8

AGI失控率>90%!MIT教授算出「康普顿常数」,AI地球「夺权率」已锁定?

MIT教授研究指出,即使采用理想监督机制,人类成功控制超级智能概率仅52%,全面失控风险超90%。研究通过量化分析提出嵌套扩展监督等理念,并在四个真实监管场景验证,探讨如何优化现实监管系统。

新智元
产品应用8

别求Claude了!搭子DuMate杀疯,国产Cowork已帮你把活干完了

Anthropic更新Claude帮助中心,对部分用户启用身份验证,让国内重度用户焦虑。百度智能云上线搭子DuMate,它是桌面级AI智能体,能自动化办公,还更懂国内工作场景,上线后高频迭代。

新智元
算法论文7

直播预约 | 强化学习训练能否不依赖外部知识优化模型的弱点?

论文提出 SwS 框架,针对强化学习场景,利用模型自我感知弱点驱动自动化问题生成,合成针对性训练数据。还对其进行多项扩展,在多个基准测试集和模型上验证有效,性能提升显著。

深度学习自然语言处理
算法论文7

Claude的脑子里,也长出了一块「意识」

Anthropic论文研究Claude潜意识与意识,发现其内部有类似人脑功能分层,揪出J - space。经多实验验证其特性,还能用J - lens检验AI“心里话”,但离“AI有意识”尚远。

量子位
新闻资讯8

刚刚,英伟达祭出下一代GPU!狂飙百万token巨兽,投1亿爆赚50亿

昨天,英伟达发布专为海量上下文AI打造的CUDA GPU——Rubin CPX,将大模型推理带入「百万Token时代」。它性能强大,能带来高回报,重写推理经济,还将得到英伟达全栈AI生态支持,预计2026年底用。

新智元
算法论文8

治好多模态近视和走神!上海大学去偏干预显著提升模型性能

多模态大模型存在“近视”和“走神”问题,总是过度关注图像底部而忽略核心内容。上海大学与南开大学研究团队用两条数学公式去偏干预,无需增加计算成本,却能显著提升主流模型视觉理解能力。

AIGC开放社区
产品应用7

两个95后华人,搞出硬件版Clawdbot,售价1700元

本文介绍硬件版OpenClaw——Distiller Alpha,其核心计算基于树莓派CM5,集成多设备,能和Agent对话,Vibe coding。量子位采访创始人叶天奇,探讨软硬一体Agent、OpenClaw优缺点、硬件创业等问题。

量子位