开源动态8

艾伦研究院开源编程智能体，低成本颠覆行业

新智元2026-04-09

AI 摘要

艾伦研究院推出Open Coding Agents，训练成本低至400美元。SERA-32B在测试中表现超同规模模型，软验证生成技术降低成本，适配私有代码库，或开启编码智能体开源时代。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

清华开源VeriLoop E2 推进黑洞信息悖论研究

针对大模型长链推理、科研任务中无法自我验证结果可靠性的结构性缺口，清华团队推出开源项目VeriLoop E2，拆分模型探索权与外部证据提交权，在多场景完成验证，推进可验证智能发展。

DeepSeek官方产品还未上线，民间开发者基于DeepSeek Harness开发了开源的DeepSeek-Bot插件，支持多Bot团队协作、持久化长期记忆，可设置Bot主管降低token消耗，可自由接入模型。

物理AI是当前AI产业热门方向，AI走出屏幕需要模型、执行系统与物理连接。Agnes AI此次开源Agent执行基础设施AGH与MHS设备协议，升级Agnes 3.0 Pro大模型，实现AI向物理世界延伸。

本文介绍GitHub上获5万+Star的热门开源项目REA，它是为AI Agent打造的本地逆向工具链，通过MCP协议统一接入，支持分析二进制、JS应用、APK等多类对象，全程本地运行，结论带证据，适合学习研究。