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

相关内容

热门资讯

国产大模型下调推理服务价格，南... 近日，国内某大模型企业宣布下调其flash系列模型服务价格，输入缓存命中、输入缓存未命中及输出价格最...
AI新手用拼豆庆祝教师节
解码青年人AI生活《2026有... 中新网深圳9月5日电(记者索有为)《2026有意思生活方式报告》(下称《报告》)4日在全国首个有意思...
OpenAI 最强 AI 生图... 9月9日消息，OpenAI 9 月 9 日官宣发布 ChatGPT Images 2.5，图像生成延...
探索AI供应链产业化路径京东推... 2026年以来，人工智能应用范围加速拓展，持续从数字空间走向现实生活，广泛融入生产线、仓储厂房、配送...
教育部发文！AI生成内容，教师... 一篇论文，因为AI使用不当，相关高校师生被通报处理。 9月2日，安徽财经大学公布“教师与学生涉嫌学术...
夏夜逛吃记 #剪映让好作品告别...
AI识别出近800种可充当乳化... 英国利兹大学食品科学与营养学院和爱丁堡大学科学家携手，开发出一款 人工智能（AI）工具，能从数千万种...
搭上低空经济、AI文旅？两连板... 桂林旅游（000978）回应市场热点。 9月8日，桂林旅游再度涨停，斩获2连板。当天晚间，该公司披露...
硅谷：我们不能被硅谷“AI刹车... 【文/底线思维】 OpenAI首席科学家Jakub Pachocki最近写了一篇文章，题目叫《An ...