「可验证计算」共找到 5115 篇相关文章
多智能体编排太繁琐？MASFactory用Vibe Graphing直接「话」出来了
多智能体系统编排当前较为繁琐，北京邮电大学开源 MASFactory 框架，提出以图为中心架构和 Vibe Graphing 开发范式，将开发推向自然语言驱动时代，系统评估显示其效果良好。
Meta华人实习生搞出超级智能体！自己写代码实现自我进化
Meta研究团队论文结合哥德尔机思想与达尔文开放算法，提出达尔文哥德尔机，进而定义超级智能体Hyperagents。它能持续自我迭代，实现元学习，实验证明其能有效自我提升，且改进有迁移性。
谷歌公开全新极限压缩算法：LLM提速8倍、内存占用狂降6倍，精度零损失
谷歌推出全新量化算法 TurboQuant，瞄准大模型键值缓存吃内存、高维向量搜索算力瓶颈痛点，能砍内存、提速度且精度零损失。分 PolarQuant 和 QJL 两步，实验数据表现优异，将改变搜索格局。
3.7k星星！爆火开源网站GEO检测工具，老外靠教别人玩这个工具赚麻了
今年315让GEO被更多人关注，虽GEO滥用不行，但正常宣传可用。推荐开源网站GEO审查工具geo - seo - claude，它能多维度检测网站，给出审计报告和优化方案，还具备报告生成等能力。
刚刚，Anthropic 发布官方「龙虾」，
Anthropic 发布 Computer Use、/schedule 和 Claude Code Desktop。Computer Use 让 Claude 控制 Mac，结合 Dispatch 可远程操控；/schedule 能创建云端定时任务。Claude 能力不断进化，正成为自动化 agent。
北航，清华，北大联合发布： 异构智能体协同强化学习！
北航、清华、北大联合发布异构智能体协同强化学习论文。提出 HACRL 新范式，实现异构智能体双向互学与独立部署统一；还有 HACPO 算法弥合智能体差异。实验显示性能提升且成本降低，为多智能体协同学习指明方向。
刚刚，Anthropic 工程师公开了内部数百个 Skill 的打造秘诀
Anthropic工程师Thariq分享Claude Code Skills打造经验，介绍Skill类型、写作技巧、分享与度量方法。指出Skill是文件夹，有九大类，还给出九条写作技巧，强调好Skill在实践中成长。
太巅了！MIT老哥在Transformer里造了台计算机，LLM从此不需要调用外部工具？
LLM在数学推理表现佳，但纯计算是短板。MIT的Christos Tzamos团队在Transformer内造计算机，实现WebAssembly解释器，解决数独难题，还突破注意力机制瓶颈，打开软件与神经网络新接口。
显存暴降92%！哈工大为线性注意力开辟了新道路
哈尔滨工业大学等团队发现线性注意力性能不足根源是查询范数丢失等。基于此提出NaLaFormer，在ImageNet - 1K准确率最高提7.5%，超分任务峰值内存降92.3%，为线性注意力发展开辟新道路。
计算所 x 上交大论文：只用双人数据，也能生成多人动画丨CVPR 2026
中国科学院计算技术研究所与上海交通大学团队提出多人物动画生成框架MultiAnimate，引入身份标识与空间关系建模方法，用双人数据训练，能扩展到多人动画生成，优于现有方法。