The Meituan LongCat team has officially rolled out a cutting-edge, high-efficiency reasoning model named LongCat-Flash-Thinking. According to the official announcement, this model leverages the ultra-fast processing capabilities of LongCat-Flash-Chat as its foundation, delivering even more remarkable performance and a higher degree of professionalism. LongCat-Flash-Thinking not only elevates the agent's proficiency in autonomously invoking tools but also significantly boosts its ability to conduct formal theorem proving. As a result, it stands as the first large language model in China to seamlessly integrate 'deep thinking + tool invocation' with a blend of 'informal and formal' reasoning capabilities.
