MoE

美团开源 LongCat-Flash-Prover 大模型，拥有 5677 亿参数，采用 MoE 架构，专为解决复杂的数学证明问题。该模型引入混合专家迭代框架，通过整合 Lean4 和严格验证流程消除...