NaiveAI发布309B MoE开源模型Naive-N0.5-Flash
北京实验室NaiveAI于2026年9月27日发布309B MoE模型Naive-N0.5-Flash,激活参数15.5B,支持1M上下文,采用MIT许可开源,推理速度最高达2000 tok/s。该模型基于小米MiMo-V2.5改造并续训3
北京实验室NaiveAI于2026年9月27日发布309B MoE模型Naive-N0.5-Flash,激活参数15.5B,支持1M上下文,采用MIT许可开源,推理速度最高达2000 tok/s。该模型基于小米MiMo-V2.5改造并续训3
Mistral AI于2026年7月前后发布Leanstral 1.5模型,专为Lean 4形式化证明语言设计,总参数1190亿,激活参数60亿。该模型权重以Apache 2.0协议开源,并提供免费API端点。它在miniF2F测试集达到1