「形式化验证系统」共找到 2421 篇相关文章
不止修bug：Agentic Coding评测走向复杂feature交付新阶段
中国科学院自动化研究所联合华为提出 FeatureBench，构建端到端基础设施并开源。它从单元测试出发构造评测任务，引入多种机制保障任务可执行、可验证，能有效区分模型能力，还提供易用的评测流程。
100k Star，他们给Clawdbot升级了超级记忆
Clawdbot项目突破100k，后改名moltbot。其原记忆是静态的，此次升级为超级/动态记忆，构建三层记忆系统，让理解力自我更新。还集成Supermemory，有自动回忆等功能，文章给出实施指南。
Meta提出StepWiser，让模型学会“反思”自己的推理过程
Meta提出StepWiser解决大语言模型推理逻辑正确性问题。它训练生成式评判模型，通过强化学习在线训练，能解释推理步骤好坏。实验显示其远超传统方法，为构建可靠AI系统提供新思路。
刚刚，翁荔博客又上新：通过Harness工程实现AI自我提升
翁荔新博客聚焦Harness Engineering，梳理围绕‘Harness自我优化’的研究，探讨递归式自我提升发生层面，还指出自动化研究和自我提升系统面临的瓶颈，如评估标准模糊、奖励作弊等。
Agent 狂欢热潮下的冷思考：为什么规模化落地总是陷入僵局？
Agent热潮下企业规模化落地遇阻，因其与传统AI应用不同，面临弹性、运维和治理挑战。腾讯云Agent Runtime围绕Agent生命周期构建基础设施，覆盖两大核心场景，已获批量验证。
卡帕西李飞飞辛顿都投了的Transformer专用芯片，签下10亿美元大单
Etched是只做Transformer专用芯片的创业公司，获卡帕西、李飞飞、辛顿投资。它宣布流片成功，筹集8亿美元，获10亿美元客户大单，还推出一整套面向前沿模型推理的集群系统。
狂揽24k+ star，Web 开发效率快5倍！
传统浏览器调试工具操作繁琐、效率低，难以满足开发者需求。开源工具`Responsively App`基于Electron构建，可同时展示多设备视图，有交互同步等功能，获24k+ star，支持多系统，安装便捷。
Claude降智，是自杀还是装死？
AMD AI总监实锤Claude Code降智，BridgeBench报告显示Claude Opus 4.6排名下降、准确率降低、幻觉率增加。但Anthropic疑似在测试全栈应用构建系统，或不在意模型排名，更关注平台生态。
让 Claude 自己循环干到完成——Ralph Loop 原理与实战指南
文章介绍了Ralph Loop技术，它由程序员Geoffrey Huntley发明，核心是让AI持续工作直到外部验证通过。对比了与主流Agent框架的差异，还列举其真实战绩、使用方法及适用场景。
多智能体大语言模型中的人类自适应协作
尽管大语言模型有进展，但纯自治多智能体系统有局限。为此提出 HILA 框架及双环策略优化机制，结合 DLPO 的 HILA 在基准测试中表现出色，为构建 Agentic 系统提供指导。