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助力企业级智能体加速落地

相关内容

苹果iOS 27将允许用户...
5月6日，知名苹果爆料人马克·古尔曼在最新文章中透露，苹果公司将在...
2026-05-06 20:25:27
美国政府将干预新AI模型发...
当地时间5日，美国政府宣布和三家公司，分别是谷歌的AI研究部门De...
2026-05-06 20:25:23
开源打破“AI黑箱”！集结...
都说我们正处在 AI 最好的时代。到了 2026 年，这句话已经不...
2026-05-06 20:25:16
国产双开源：让Mac成为你...
编辑｜panda、+0 2026 年 3 月底，Ollama 发布...
2026-05-06 20:23:52
【深度】AI智能体上车元年...
界面新闻记者 |周姝祺 4月下旬的北京车展，火山引擎副总裁杨立伟的...
2026-05-06 06:53:04
AI进化速递丨中国移动将推...
①中国移动将推出AI-eSIM产品； ②白宫拟在AI模型发布前实施...
2026-05-06 06:52:06

热门资讯

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