36氪获悉，美团LongCat团队正式发布全新高效推理模型LongCat-Flash-Thinking。据官方介绍，在保持了LongCat-Flash-Chat 极致速度的同时，全新发布的LongCat-Flash-Thinking更强大、更专业。同时，LongCat-Flash-Thinking不仅增强了智能体自主调用工具的能力，还扩展了形式化定理证明能力，成为国内首个同时具备“深度思考+工具调用”与“非形式化+形式化”推理能力相结合的大语言模型。