美团开源 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分身杀疯了

相关内容

热门资讯

“AI小龙虾”赋能县域政务服务... 近期，随着AI智能体OpenClaw（俗称“小龙虾”）技术在全国范围内快速升温，淮安市金湖县依托前期...
HPE携手英伟达将分布式AI工... 随着人工智能从以训练为中心向推理转变，HPE宣布推出一系列由英伟达图形处理单元驱动的计算和网络产品。...
原创 热... 3月3日凌晨三点，迪丽热巴的工作室终于在微博上发布了一条报平安的声明。但评论区早已炸开了锅——粉丝们...
新海航祥鹏航空联动丽江机场推出... 云南丽江即将迎来一年一度纳西族独有的“三多节”，旅游市场率先掀起热潮，市民出游热情高涨。近日，新海航...
云“逛”竹艺村！川航带你解锁崇... 封面新闻记者 罗田怡 春分已至，风从川西平原吹拂而过，崇州道明竹艺村外，青翠竹林与金色花海，共同构成...