LongCat-Flash-Prover 是一款开源数学定理证明模型，能够将自然语言问题转化为形式化描述，并通过自动形式化、草稿生成和证明生成三大功能进行严谨证明。该模型在多个基准测试中表现优异，刷新了开源模型记录，展现了 AI 在数学研究中的潜力。