开源动态8

UCL团队开源Prometheus，登顶AI编程智能体前十

新智元2025-10-27

AI 摘要

UCL初创团队EuniAI开源Prometheus，在SWE - bench Verified成绩亮眼。它基于图结构推理，成本低、跨语言且可扩展。官网有Demo，团队还规划了其未来更强功能。

关注公众号

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

公众号专辑

爆火REA：AI能逆向还原任何软件

本文报道GitHub上星标超12.4万的爆火开源项目REA，该项目可借助AI在无源代码的情况下分析还原软件功能，整合传统逆向工具与AI编程助手，引发软件行业关于技术壁垒与商业模式的热议。

本文介绍爆火的开源AI逆向工具REA，不到一周GitHub涨117.5k星，可基于Agent逆向复刻各类软件，讲解其原理、工作逻辑与功能，讨论其对SaaS生态的冲击。

本文从开发者用AI逆向重写Adobe全家桶开源的热点事件切入，介绍AI大幅降低逆向工程成本的行业新趋势，分析其对软件行业商业模式的冲击，探讨AI时代产品的护城河问题。

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