linux办公网
美团开源5677亿参数大模型，两项测试刷新SOTA！
创始人
2026-03-21 23:34:20
0次

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

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

训练方面，该模型使用混合专家迭代框架生成冷启动数据，并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练。同时加入定理一致性和合法性检测机制防止 Reward Hacking（奖励黑客行为）。

基准测试表明，这款模型在 MiniF2F-Test 上取得 97.1% 的成绩，仅需 72 次推理尝试；在 PutnamBench 任务上解决了 41.5% 的问题，使用 118 次推理尝试，在上述两项测试中刷新 SOTA 水平。

IT之家附该模型开源地址如下：

  • GitHub：https://github.com/meituan-longcat/LongCat-Flash-Prover
  • Hugging Face：https://huggingface.co/meituan-longcat/LongCat-Flash-Prover
推理 参数 GitHub 模型 训练 问题 混合 框架 阶段 任务 Prover https 美团 亿参数

上一篇：阿里巴巴的云与 AI，何时能像 AWS 一样赚钱

下一篇：从“AI投标”到“AI养鸡”，WPS 365助力企业级智能体加速落地

相关内容

和讯投顾余荣卓：这次国产A...
回顾2025年的市场行情，4月份受关税冲击，指数大幅回调，但随后4...
2026-03-22 15:08:52
腾讯AI Lab撤销 部分...
新榜讯 3月21日讯，业内传出消息，腾讯TEG技术工程事业群的组织...
2026-03-22 15:06:14
华为云CEO：全面开放盘古...
3月20日，在华为中国合作伙伴大会2026，华为云CEO周跃峰现场...
2026-03-22 15:01:55
小米申请基于AI任务精度压...
国家知识产权局信息显示，北京小米移动软件有限公司申请一项名为“处理...
2026-03-21 23:41:50
AI逼死宅男
图片来源：图虫 老黄变了。 在GTC 2026现场，居然怒怼玩家：...
2026-03-21 23:40:30
美国公布AI政策框架，“没...
【文/观察者网 王一】当地时间3月20日，特朗普政府公布了一项人工...
2026-03-21 23:38:12

热门资讯

原创 2... #春日生活好物种草季#近年来，笔记本电脑市场迎来技术爆发期，尤其在手机厂商跨界入局后，轻薄本在性能、...
AMD锐龙AI 9 HX 37... 2024年6月3日，AMD正式发布全新的锐龙AI 300系列处理器。该系列处理器一经发布就引发大家的...
2024云栖大会|阿里云升级无... 北京商报讯（记者魏蔚）9月20日，阿里云无影AI云电脑在2024云栖大会上展出，该版本基于最新的终端...
5个AI模特生成软件推荐 当前AI模特生成软件市场提供了多样化的解决方案，以下是几款备受推崇的工具： 触站AI：强烈推荐！...
骁龙本这么猛？联想YOGA A... 在人人都是自媒体的时代，一部手机可以解决出镜拍摄问题，而商务出差、大量码字、图像处理等需求用笔记本则...
2023年CentOS与Ubu... CentOS与Ubuntu的市场格局与技术特性探讨 在服务器操作系统领域，CentOS与Ubuntu...
MWC2025荣耀多款AI技术... 人民财讯3月6日电，2025世界移动通信大会（MWC 2025）上，荣耀MagicBook Pro ...
苹果macOS 15.1：允许... 苹果公司在其最新的macOS 15.1版本中，推出了一项引人注目的新功能——允许用户将Mac App...
原创 苹... 前言 IQUNIX在做好看的桌面产品上，一直都给我留下非常深刻的印象。而且早期和苹果产品的设计风格...
原创 华... 在2024年这个被誉为"AI元年"的关键时刻，随着生成式AI的流行，各家手机厂商都在积极备战AI手机...