美团开源 LongCat-Flash-Prover 大模型：达5677亿参数
创始人
2026-03-21 23:39:30

3月21日消息，美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。

据介绍，该模型引入了混合专家迭代框架（hybrid-experts iteration framework），用于生成大规模、高质量的形式化推理轨迹。可通过整合 Lean4、基于 AST 的多阶段严格验证流程，消除“幻觉”现象。

上一篇：百度网盘GenFlow升级：融合OpenClaw，支持多人AI协作

下一篇：瑶海骏马游敦煌 #即梦AI #ai分身戏精大赛 #我的ai分身杀疯了

相关内容

热门资讯

深耕细作·惠州行五洲·露营装备... 当露营从“诗和远方”变成周末常态，消费者的眼光也越来越“刁”。他们不再满足于“能住”，而是追求“好住...
帐篷选的好，露营受罪少，运良两... 帐篷选的好，露营受罪少，运良两款帐篷应该怎么选 运良越野 露营 帐篷 户外露营 户外装备
用这个帐篷过夜露营，可得小心了... 用这个帐篷过夜露营，可得小心了 帐篷露营 bivvybag
特价68丨6.07周日【三角山... 【三角山丨从化十登】千米山之恋 从化第七峰三角山 广州附近十座千米山峰你都去过吗？ 这次跟随我们的...
原创 六... 一想起儿童节出游，脑子里是不是马上浮现出：景区门口望不到头的长队、餐厅里高到离谱的儿童套餐、游乐场里...