「可验证计算」共找到 5041 篇相关文章
智能体并非越多越好，45%准确率成关键拐点
Google研究《Towards a Science of Scaling Agent Systems》验证“智能体并非越多越好”。在GPT等上实验发现，单个智能体准确率超45%，增加数量会损性能，还揭示工具税、错误螺旋等问题，给出预测公式。
李飞飞发布世界模型新成果：一个提示，生成无限3D世界
李飞飞创业团队World Labs宣布能生成持久、可导航且能自定义操控的3D世界。该模型专注构建3D环境，有更好几何形状、多样风格、更大规模，还支持无限畅游，已推出beta版。
把20亿参数装进胸针？高通补齐了个人AI生态的最后一块拼图
在MWC巴塞罗那展会上，人们渴望专属AI智能体。高通认为AI须进驻微型载体，推出骁龙可穿戴平台至尊版，将AI运算能力延伸到微型设备，其还构建以用户为中心的生态，让私人助理融入生活。
Hermes 登顶 OpenRouter 之后，我才发现它最缺的那一块，被这个插件补上了
Hermes Agent 三个月登顶 OpenRouter，虽好用但记忆处理有缺陷，记忆库成大杂烩。记忆张量的 MemOS Local Plugin 2.0 可解决此问题，采用‘执行即学习’，有双层反馈机制，且资产可携带。
递归神经网络的复兴：Mixture-of-Recursions
Google DeepMind研究者设计的语言模型，能判断关键单词并进行深度递归计算，通过轻量级“路由器”节省计算资源，在同等训练成本下表现显著优于传统模型，文中还提及其他解决动态算力分配问题的思路。
29个月增长100倍：一个AI 2.0公司应该怎么建？HeyGen的取胜的秘密
AI视频生成公司HeyGen在29个月内ARR从100万美元增长到超1亿美元。创始人Joshua Xu公开取胜秘密，即独特运营模式‘The HeyGen Way’，包括拥抱变化、匹配节奏、最小化快速验证迭代等理念。
我给 Claude Code 做了个 AI 硬件监工
作者受Anthropic开源项目启发，用M5Paper墨水屏开发板做出M5 Paper Buddy，可蓝牙连电脑，监控Claude Code对话状态并审批操作。它有诸多功能，与官方项目区别大，还体现AI与硬件结合趋势。
LoRA中到底有多少参数冗余？新研究：砍掉95%都能保持高性能
这篇创新研究介绍了LoRI技术，证明即使大幅减少LoRA的可训练参数，模型性能依然强劲。研究团队在多个任务上测试了LoRI，发现仅训练LoRA参数的5%，LoRI就能匹配或超越其他方法的性能。
AutoDev Remote 编程智能体：你何必只让 AI 在白天分析需求、设计方案
AutoDev Remote Agent 作为 AutoDev Workbench 一部分进入试运行，可运行在服务器，辅助项目分析规划、编写代码等。它是开源方案，代码可自由发布修改，还介绍了选择它而非 IDE 的原因及未来计划。
GPU开始金融化！黄仁勋拉上华尔街搞5000亿美元融资，回应“循环投资”
黄仁勋宣布NVIDIA与多家金融机构合作，建立融资平台，撬动超5000亿美元第三方资本建设AI基础设施。他推出AI工厂概念，称算力能成可投资资产，还回应了循环投资质疑。