「可验证计算」共找到 5172 篇相关文章
Agent群体智能来了！魔搭开源Agent自进化群体智能框架：群体记忆自动蒸馏与进化，8万+群体技能即取即用，智能体画像一键复用
个人或团队部署使用智能体面临状态易失、重复试错、迁移困难等痛点。魔搭ModelScope团队开源的Ultron框架，补上群体协作基础设施，解决经验沉淀、技能进化和画像共享问题，提升智能体协作效率。
谷歌开源“Agent Skill 超级工具箱”，云、库、引擎、AI全线打通，开发者狂喜
在大模型竞争白热化背景下，谷歌为解决开发者难题推出 Agent Skills。官方仓库含多项技能，涵盖谷歌云核心服务及架构支柱技能，还提供常见任务流程指南，兼容多平台，能省开发代码。此前还有 Addy Osmani 开源的技能库。
一分钟的奇迹与幻觉：实测世界模型Happy Oyster
4月16日阿里发布世界模型Happy Oyster，支持多模态输入与音视频联合生成。实测显示，它在场景构建、渲染上有优势，可替代部分传统引擎工作，但存在一致性不足问题，现阶段更适合改造游戏开发流程。
奥特曼亲自上阵，Images 2.0登顶王座！大米刻字，生图跨入GPT-5时代
OpenAI上线ChatGPT Images 2.0，奥特曼称其是从GPT - 3到GPT - 5的飞跃。它是首个‘会思考’的图像AI，能精准听懂中文指令、渲染复杂UI，在Arena榜单登顶，解决了多语言、风格等痛点。
揭秘大模型Steering：从底层机理到系统评估，全面破解大模型行为控制之谜
近期《Science》研究表明可解析AI内部表征实现通用引导与监控。浙大联合阿里两篇ACL 2026主会论文，揭示Steering工作原理与能力边界，还开源一站式框架EasyEdit2，全面展示了Steering价值。
一人公司火了，但Chatbot不是最大机会 | 不是 for 人，而是 for Agent 。
在2026中关村论坛上，天工AI发布三大核心模型，公布昆仑万维AGI战略。天工AI董事长周亚辉在对话中谈中国大模型竞争力、企业出海、产品价格等问题，认为企业级Agent是更大金矿。
刚刚，机器人练成了宁次的「白眼」：∞帧画面边看边3D重建我们的世界！
蚂蚁灵波开源的LingBot - Map模型实现无尽流，可看∞帧视频稳定实时3D重建。它打破“既要实时、又要记路、还要省显存”的不可能三角，在多项测试中表现优异，补齐具身智能关键拼图。
太反差了！那边Claude强制「刷脸」认证，这边国内Coding Plan被外国人疯抢
Anthropic要求Claude用户进行严格身份验证，被网友吐槽。而国产GLM Coding Plan因模型能力提升在海外走红，海外版涨价后，海外开发者研究买中国版，国内购买也很火爆，闲鱼还出现代抢生意。
不要接盘！七巨头暗套84亿，20万亿AI泡沫濒临崩塌
穆迪报告揭示AI发展两条路径，要么生产率狂飙，失业率降至3.8%；要么泡沫破裂，460万人失业。2026年1月裁员数据似在验证后者。当前AI行业融资循环、巨头抛售股票，股市被高估，泡沫濒临破裂。
Claude Code一周份额，一天就烧完一半？有人逆向工程发现了7个bug
Claude Code在快速更新中问题频发，如思考深度大幅下降，还存在7个叠加的bug，浪费用户token配额。开发者给出应对建议，新版本增加账单透明度和缓存过期提醒，该工具正面临信任危机。