meituan-longcat · Hugging Face 新模型· meituan-longcat·· 2026-03-20精选AI 评分61
美团 LongCat 发布 LongCat-Flash-Prover 560-billion-parameter 开源 MoE 形式化推理模型
meituan-longcat/LongCat-Flash-Prover
AI 导读
美团 LongCat 发布 LongCat-Flash-Prover，一个面向 Lean4 原生形式化推理的 560-billion-parameter 开源 MoE 模型。
推荐理由
材料同时披露训练框架、Lean4 工具接入和多项基准结果，便于比较开源定理推理模型的能力边界与工程路线。
来源：meituan-longcat · Hugging Face 新模型 · huggingface.co