开源动态7

DeepSeek V4 Pro与Harness上线，后者似AI系统雏形

AI寒武纪2026-08-13

AI 摘要

作者：DeepSeek V4 Pro 0813上线，升级Agent能力，价格8月17日将涨；DeepSeek Harness开源，似AI操作系统雏形，有自我进化等有趣特性，二者表现待更多测试。

关注公众号

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

公众号专辑

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

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

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

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

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