美团开源 LongCat-Flash-Prover 大模型：达5677亿参数
创始人
2026-03-21 23:34:20
0次
3月21日消息，美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。
据介绍，该模型引入了混合专家迭代框架（hybrid-experts iteration framework），用于生成大规模、高质量的形式化推理轨迹。可通过整合 Lean4、基于 AST 的多阶段严格验证流程，消除“幻觉”现象。
相关内容
热门资讯
单季盈利3.8亿元，押注AI，...
2025年第四季度及全年财报落地的那一刻，小鹏汽车（下称“小鹏”）董事长何小鹏口中“五个九（99.9...
原创 于...
于正针对近期"AI将取代演员、导致内娱完蛋"的行业焦虑公开表态，认为技术革新不会摧毁影视行业，而是推...
AI进化速递丨OpenAI计划...
①国家级电力人工智能中试基地迎首批企业，华为、中兴、百度等入驻；②小鹏汽车董事长何小鹏：IRON人形...
原创 A...
2026年3月19日，阿里巴巴集团发布了2026财年Q3财报。高歌猛进的云+AI来到C位，成为了集团...
硅谷500亿巨头翻车现场！Cu...
新智元报道编辑：好困Aeneas【新智元导读】大瓜惊爆AI圈：昨天Cursor新模型刚刚封神，24小...
用Omega Linux让旧电...
OmegaLinux是一个轻量级的Linux发行版。基于Arch，Omega采用滚动发布模式。Ome...
四川成都双流经开区加速打造“A...
成都新易盛通信技术股份有限公司图片来源：成都市双流区提供近期，光模块赛道景气度持续走高，龙头企业新易...
AI小滴上线：当出行App学会...
“我容易晕车，身体不舒服，尽快叫车。”“去机场国际出发，后备厢要大。”“我要去妇幼医院产检。”这些话...
57支战队，在南京决战AI之巅...
从410个初赛创意到224个复赛demo，再到最终57支战队来到南京参与全国总决赛，3月21日，作为...