美团发布高效推理模型LongCat

Core Insights - LongCat-Flash-Thinking enhances the autonomous tool-calling capabilities of agents and expands formal theorem proving abilities, becoming the first domestic large language model with both "deep thinking + tool calling" and "non-formal + formal" reasoning capabilities [3] - The new model shows significant advantages in handling high-complexity tasks such as mathematics, coding, and agent tasks [3] - LongCat-Flash-Thinking is fully open-sourced on HuggingFace and GitHub, allowing users to experience it on the official website [3]