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