开源动态8

Polaris：4B模型数学推理超Claude 4

量子位2025-07-09

AI 摘要

港大、字节Seed、复旦联合发布Polaris强化学习配方，让4B模型数学推理超商业大模型，可在消费级显卡部署且已开源。其成功秘籍是围绕待训练模型配置，还解决了数据、温度、长文本训练等问题。

关注公众号

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

公众号专辑

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

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

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

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

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