开源动态8

MiniMax：380万训出推理大模型新王

量子位2025-06-17

AI 摘要

MiniMax开源MiniMax - M1推理大模型，性能比肩DeepSeek - R1，成本仅380万。采用Lightning Attention和CISPO算法，在多领域表现佳，模型权重可下载，后续还有更多内容待发布。

关注公众号

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

公众号专辑

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

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

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

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

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