美团开源560B参数推理模型LongCat：融合Agent工具调用，登顶Lean4定理证明SOTA
美团正式开源代号为LongCat-Flash-Prover的5600亿参数MoE模型。该模型将形式化推理拆解为自动形式化、草图生成及完整证明生成三大核心能力，并创新性地通过Agent工具集成推理与Lean4编译器进行实时交互验证。在训练上，...
标签索引
Agent推理
这个标签下有 1 篇文章。按时间回看相关判断与实践记录。
标签精选
标签索引
这个标签下有 1 篇文章。按时间回看相关判断与实践记录。
标签精选
美团正式开源代号为LongCat-Flash-Prover的5600亿参数MoE模型。该模型将形式化推理拆解为自动形式化、草图生成及完整证明生成三大核心能力，并创新性地通过Agent工具集成推理与Lean4编译器进行实时交互验证。在训练上，...