美团开源560B参数大模型LongCat：攻克Lean4数学形式化推理

美团正式开源了代号为LongCat-Flash-Prover的大模型。这是一个拥有5600亿参数的旗舰级MoE（混合专家）模型，旨在推进原生形式化推理技术。该模型采用了Agent智能体与工具集成的推理机制，专门针对数学证明语言Lean4进行了深度优化。其核心价值在于利用庞大的参数量和特定架构，解决高难度的数学逻辑验证问题。美团同时发布了技术报告，展示了其在AI数学与逻辑推理领域的最新突破，为行业提供了极具参考价值的研究基座。