美团开源 LongCat-Flash-Prover 大模型：达5677亿参数
创始人
2026-03-21 23:39:30
3月21日消息，美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。
据介绍，该模型引入了混合专家迭代框架（hybrid-experts iteration framework），用于生成大规模、高质量的形式化推理轨迹。可通过整合 Lean4、基于 AST 的多阶段严格验证流程，消除“幻觉”现象。
相关内容
热门资讯
游戏产业下半场，AI开始走向前...
上海新国际博览中心，N2馆。一位观众对着屏幕输入一行文字，几秒钟后，一个可交互的3D游戏世界在他眼前...
AI时代，效率正在消灭学徒期
当 AI 接管初级工作，我们可能也在拆掉人类成为专家的阶梯。 过去，人们担心机器抢走流水线上的岗位。...
国金证券：国内AI链相对海外出...
智通财经获悉，国金证券发布研报称，从筹码出清的角度来看，A股AI相关股票相对海外市场出清较慢，因此本...
胃镜室里来了个“AI侦察兵”（...
□本报全媒体记者 李晓敏 7月30日上午，河南科技大学第一附属医院（以下简称“河科大一附院”）胃镜中...
TCL华星进入专业电竞显示序列...
【CNMO科技消息】2026年中国国际数码互动娱乐展览会（ChinaJoy）正式开幕。TCL华星以“...