美团开源560B参数定理证明模型：72次推理通过率97.1%，刷新开源模型SOTA

时间：2026-03-21 10:41:15

　　消息，据 1M AI News 监测，美团 LongCat 团队开源 LongCat-Flash-Prover，一个 5600 亿参数的 MoE 模型，专攻形式化定理证明语言 Lean4 的数学推理任务。模型权重以 MIT 协议发布，已上线 GitHub、Hugging Face 和 ModelScope。模型将形式化推理拆解为三项独立能力：自动形式化、草图生成和完整证明生成。三项能力均通过 Agent 工具集成推理与 Lean4 编译器实时交互验证。训练方面，团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据，并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练，同时加入定理一致性和合法性检测机制防止 reward hacking。基准测试显示，LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率，ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%，每题推理次数不超过 220 次。

上一篇：Chainlink Maxi 分享了为什么 LINK 比 XRP 更适合机构投资者。返回首页

下一篇：数据：过去24小时全网合约爆仓 3.46 亿美元

标准Chartered支持的Anchorpoint已准备推出港元稳定币HKDAP，预计将在7月底前联合宣布。该稳定币将...

2 贝佐斯注资CuspAI探索新材料用于芯片制造

消息，贝佐斯所注资的英国创企CuspAI于周一成立人工智能材料铸造厂联盟，汇聚了逾48家科技巨...

3 Loopring完成L2 NFT返还，发送2046枚至1241个地

消息，吴说获悉，Loopring宣布已完成L2 NFT返还，通过9批以太坊主网交易向1241个一级网络地址发...

4 广发证券刘晨明：近期市场调整受外部因

消息，广发证券策略首席分析师刘晨明表示，近期A股回调主要源于外部输入性因素，属于情绪...

5 比特币现货ETF净流入7567万美元，以太坊净

消息，上周交易日比特币现货ETF净流入7567万美元，以太坊现货ETF净流入1.05亿美元，SOL现货ET...

6 AI杠杆押注担忧加剧，韩股大跌5%