软件工程

软件工程是检验这一观点最严格的起点：代码仓库提供环境状态，修改和工具调用构成真实行动，编译、测试、依赖、性能与运行轨迹则给出无法由语言叙事替代的外部证据。

由此，Loop不只是增加提示词长度、推理轮次或模型调用次数，而是让每次调用都由上一轮产生的新证据改变其判断、探索和修复方式，使一次性代码生成转化为可反证、可回滚、可验证并能够积累有效经验的软件工程闭环。

公司称，Opus5在软件工程、知识工作和复杂问题解决等多个测试中达到行业领先水平，同时以与上一代Opus4.8相同的价格提供服务。

清华团队VeriLoopCoder-E1正式开源：以循证螺旋驱动可验证的递归式自我改进2026年08月02日11:06机器之心Pro近日，由清华大学深圳国际研究生院智能机器人实验室刘厚德教授领衔、王立博博士后担任AI首席研究员的大模型团队，正式发布了VeriLoopCoder-E1——一款基于Qwen3.6-27B构建、面向仓库级代码修复与智能体式软件工程任务的开源垂类代码模型。

它将一次软件工程任务编译为多轮、分阶段且相互约束的模型调用，而非对同一Prompt机械重试：不同轮次分别承担候选生成、反证、定向探究、修订与验证等职责，并接收由Harness动态构造的结构化工作包，其中持续携带任务契约、代码上下文、前轮产物、工具回执、测试错误、证据缺口、失败归因及修复边界。

在冻结Qwen3.6-27B基座的前提下，项目以少量可训练参数强化模型面向真实软件工程任务的专门能力，包括工具契约遵循、证据—结论绑定、不确定性识别、验证失败解释、局部修复与回滚边界控制；

期刊研究范围涵盖理论计算机科学、算法、软件工程、系统架构、网络通信、安全与隐私保护、人工智能、计算机视觉以及未来计算技术等多个方向。