【导语】9月22日，美团LongCat团队推出全新高效推理模型LongCat-Flash-Thinking，该模型在逻辑、数学、代码、智能体等多领域推理任务中达全球开源模型顶尖水平，成为国内首个融合“深(shēn)度(dù)思(sī)考(kǎo)+工(gōng)具(jù)调(diào)用(yòng)”与(yǔ)“非(fēi)形(xíng)式(shì)化(huà)+形(xíng)式(shì)化(huà)”推(tuī)理(lǐ)能(néng)力(lì)的(de)大(dà)语(yǔ)言(yán)模(mó)型(xíng)，在(zài)多(duō)项(xiàng)权(quán)威(wēi)评(píng)测(cè)中(zhōng)持(chí)续(xù)领(lǐng)先(xiān)。
9 月(yuè) 22 日(rì)消(xiāo)息(xi)，美(měi)团(tuán) LongCat 团(tuán)队(duì)正(zhèng)式(shì)发(fā)布(bù)全新(xīn)高(gāo)效(xiào)推(tuī)理(lǐ)模(mó)型(xíng) LongCat-Flash-Thinking。
官(guān)方(fāng)介绍称，在保持了 LongCat-Flash-Chat 极致速度的同时，全新发布的 LongCat-Flash-Thinking 更强大、更专业。综合评估显示，LongCat-Flash-Thinking 在逻辑、数学、代码、智能体等多个领域的推理任务中，达到了全球开源模型的最先进水平（SOTA）。
同时，LongCat-Flash-Thinking 不仅增强了智能体自主调用工具的能力，还扩展了形式化定理证明能力，成为国内首个同时具备「深度思考 + 工具调用」与「非形式化 + 形式化」推理能力相结合的大语言模型。团队发现，尤其在超高复杂度的任务（如数学、代码、智能体任务）处理上，LongCat-Flash-Thinking 具备更显著的优势。
创新架构，实现高效推理与稳定训练：
领域并行强化学习训练方法：为了解决强化学习领域混合训练的稳定性问题，团队设计了一种领域并行方案，将 STEM、代码和智能体任务的优化过程解耦。这一方法采用了多领域并行训练再融合的先进策略，实现模型能力的均衡提升，综合性能达到帕累托最优（Pareto-Optimal）。
异步弹性共卡系统：异步弹性共卡系统（DORA）是整个训练的基石。该系统通过弹性共卡调度（Elastic Colocation）与多版本异步流水线（Multi-Version Asynchronous Pipeline）设计，在实现相较于同步 RL 训练框架三倍提速的同时，确保了每条样本的策略一致性。同时，系统进一步实现了高效的 KV 缓存复用，能够支撑万卡规模集群的稳定运行。值得一提的是，在大规模异步强化学习（RL）训练阶段，FLOPs（Floating Point Operations）的投入约为预训练阶段的 20%，为模型性能提升提供了坚实的算力保障。
智能体推理框架：为进一步提升模型的智能体推理能力，团队提出了创新性的“双路径推理框架”。该框架能够自主筛选最优查询样本，并通过自动化流程将智能体推理与工具使用相结合，使模型能够智能识别并调用外部工具（如代码执行器、API 等），从而高效解决复杂任务。基于 AIME25 实测数据，LongCat-Flash-Thinking 在该框架下展现出更高效的智能体工具调用（Agentic Tool Use）能力，在确保 90% 准确率的前提下，相较于不使用工具调用节省了 64.5% 的 Tokens（从 19653 到 6965），显著优化了推理过程的资源利用率。
形式化推理框架：为了克服当前开源通用大型语言模型在形式化证明任务中的不足，团队针对形式化推理设计了一套全新的基于专家迭代框架的数据合成方法，该流程利用集成了 Lean4 服务器的专家迭代框架，生成经过严格验证的证明过程，从而系统性提升模型的形式化推理能力。这一创新方法系统性地增强了模型的形式化推理能力，提高了其在学术和工程应用中的可靠性。
LongCat-Flash-Thinking 在多项权威评测中刷新纪录，在各类推理任务中均展现出持续领先的性能：
通用推理能力：LongCat-Flash-Thinking 具备卓越的通用推理能力，尤其在需要结构化逻辑的任务中表现突出。其在 ARC-AGI 基准测试中以 50.3 分超越 OpenAI o3、Gemini2.5 Pro 等顶尖闭源模型。
数学能力：LongCat-Flash-Thinking 在数学推理方面展现出强大实力，跻身当前顶尖模型行列。在更具挑战性的基准测试中优势更加明显 —— 在 HMMT 和 AIME 相关基准上取得突破性成绩，超越 OpenAI o3，和 Qwen3-235B-A22B-Thinking 等领先模型水平相当。这些结果印证了其解决复杂、多步骤问题的领先能(néng)力(lì)。
代(dài)码(mǎ)能(néng)力(lì)：在(zài)编(biān)程(chéng)领(lǐng)域，LongCat-Flash-Thinking 展(zhǎn)现(xiàn)出(chū)开(kāi)源(yuán)模(mó)型(xíng)最(zuì)先(xiān)进(jìn)的(de)性(xìng)能(néng)（SOTA）与(yǔ)综(zōng)合(hé)实(shí)力(lì)。在(zài) LiveCodeBench 上(shàng)以(yǐ) 79.4 分(fēn)显(xiǎn)著(zhe)超(chāo)越(yuè)参(cān)与(yǔ)评(píng)估的开源模型，并与顶级闭源模型 GPT-5 表现相当，证明其解决高难度编程竞赛问题的卓越能力。在 OJBench 基准测试中也以 40.7 的得分保持极强竞争力，并接近领先模型 Gemini2.5-Pro 的水平。
智能体能力：LongCat-Flash-Thinking 在复杂的、工具增强型推理（Tool-augmented Reasoning）方面表现突出，在智能体工具调用（Agentic Tool Use）上展现出强劲能力。其在 τ2-Bench-Airline 上以 67.5 分刷新开源 SOTA 成绩，并在包括 SWE-Bench、BFCL V3 和 VitaBench 等基准测试中展现出超强竞争力。
ATP 形式推理能力：LongCat-Flash-Thinking 在 MiniF2F-test 基准中的 pass@1 获得 67.6 的超高分数，大幅领先所有其他参与评估的模型，在 pass@8 和 pass@32 中同样保持了领先优势，凸显其在生成结构化证明和形式化数学推理方面的绝对优势。
