「云端自动修复」共找到 828 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
100k Star，他们给Clawdbot升级了超级记忆
Clawdbot项目突破100k，后改名moltbot。其原记忆是静态的，此次升级为超级/动态记忆，构建三层记忆系统，让理解力自我更新。还集成Supermemory，有自动回忆等功能，文章给出实施指南。
7万个模型、1600万开发者，阿里魔搭已建成中国最大AI开源社区
首届魔搭开发者大会公布，魔搭社区开源模型超7万个，用户达1600万，成中国最大AI开源社区。阿里云CTO周靖人认为‘云端协同’是重要课题，魔搭要覆盖模型全生命周期，减少模型落地差距。
OpenClaw 一键接入飞书最简单的方式，出现了！
作者作为安装 OpenClaw 的技师，起初安装方式效率低。后飞书推出在“飞书妙搭”一键接入 OpenClaw 的方法，还自动安装官方插件，其功能强大，可让 AI 助手像“数字同事”参与协作。
刚刚，智谱推出全球首个手机通用Agent，人人可用
智谱发布新版AutoGLM，是全球首个手机通用Agent。它为用户配备云端手机，能在不影响用户操作的前提下完成各类任务，还在技术上有重大突破，成本更低，代表全新互联网流量。
2025科技圈最新职位：“Vibe Coding擦屁股工程师”，专治老板们的决策性Bug
生成式AI兴起后，科技公司CEO用其取代员工致大量裁员。但“氛围编程”效果不佳，AI生成代码常需修复，“氛围编程清理专家”应运而生，市场需求或不断增长，不过网友对此看法不一。
Agent全自动搭建代码运行环境，实时更新解决评测过拟合/数据污染问题｜微软
长期以来主流代码修复评测基准SWE - bench问题多，制约AI模型能力展现。微软发布SWE - bench - Live，引入新Issue，实现环境自动化构建与更新，打破传统局限，还揭示传统基准过拟合问题。
今天，Claude Cowork大更新！合上电脑，它替你彻夜打工
Anthropic官宣Claude Cowork正式登陆手机和网页端，Chat和Cowork合并成一个入口。Cowork可脱离设备在云端运行，完成工作闭环，还能让用户在看球赛、赶飞机时用手机‘监工’，巨头正抢占普通人办公市场。
分享5个Claude Code + 飞书的超实用Agent办公玩法。
本文分享Claude Code与飞书结合的5种办公玩法，如为会议系列建知识库、工作复盘、自动化对接流程、生成协同画板、自动报销审批等，还介绍飞书CLI能力及安装方式，展现其提效与协同潜力。
AGICamp 第 001 周 AI 应用榜发布：DeepPath、AI 好记、Remio 等上榜
2025年6月27日AGICamp在AICon大会发布第001周AI应用榜，上线14个应用。其暂不推日榜，周二发周榜，评论权重高于点赞。还介绍多个上榜应用，鼓励开发者参与，修复Bug并同步进展。