新闻资讯7

神秘「欢乐马」模型屠榜视频赛道

量子位2026-04-09

AI 摘要

神秘模型HappyHorse - 1.0屠榜AI Video Arena，在多赛道领先。它采用40层单流Transformer架构，推理快，原生支持多语言，或出自阿里淘天实验室，据说完全开源，10号正式发布。

关注公众号

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

公众号专辑

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

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

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

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

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